Marinescu, D.C.

• Tiplea, F.L.; Marinescu, D.C.; Lin, C.:
  Model Checking and Abstraction for Workflow Net Verification. 2004.

• Shan, Zhiguang; Lin, Chuang; Marinescu, Dan C.; Yang, Yang:
  Modeling and performance analysis of QoS-aware load balancing of web-server clusters. 2002.

• Lin, Chuang; Qu, Yang; Ren, Fengyuan; Marinescu, Dan C.:
  Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models. 2002.

• Lin, C.; Chaudhury, A.; Whinston, A.; Marinescu, D. C.:
  Logical Inference of Horn Clauses in Petri Net Models. 1993.

• Lin, Chuang; Marinescu, D.C.:
  On the Analysis of Stochastic High Level Petri Net Models. 1991.

• Marinescu, Dan C.; Beaven, Mike; Stansifer, Ryan:
  A Parallel Algorithm for Computing Invariants of Petri Net Models. 1991.

• Marinescu, Dan C.; Stansifer, Ryan:
  A Formalism for Critical Path Analysis of Real-Time Ada Programs. 1990.

• Lin, C.; Marinescu, D.C.:
  Stochastic High-Level Petri Nets and Applications. 1988.

• Marinescu, D.C.; Rice, J.R.:
  Modeling Hardware-Software Interactions in Parallel and Distributed Systems Using Stochastic High Level Petri Nets. 1988.

• Dong, J.; Marinescu, D.C.; Lin, C.:
  Reachability Graphs and Invariants for Stochastic High Level Petri Nets. 1987.

• Lin, C.; Marinescu, D.C.:
  On Stochastic High-Level Petri Nets. 1987.

• Marinescu, D.C.; Rice, J.R.:
  Domain Oriented Analysis of PDE (Partial Differential Equations) Splitting Algorithms. 1987.

• Marinescu, D.C.; Lin, C.:
  Preliminary Results on Multiprocessor Modeling and Analysis Using Stochastic High Level Petri Nets. 1986.

• Lin, C.; Marinescu, D.C.:
  Translation of Modified Predicate/Transition Net Models of Communication Protocols into Simulation Programs. 1986.

Back to the Petri Nets Bibliography