Lin, C.

• Wang, Yuanzhuo; Lin, Chuang; Yang, Yang; Qu, Yang:
  Grid Service Workflow Models and Their Equivalent Simplification Methods. 2006.

• Li, Yajuan; Lin, Chuang; Li, Quanlin; Shan, Zhiguang:
  Performance Modeling and Analysis for Resource Scheduling in Data Grids. 2005.

• Tan, Zhangxi; Lin, Chuang; Yin, Hao; Hong, Ye; Zhu, Guangxi:
  Approximate Performance Analysis of Web Services Flow Using Stochastic Petri Net. 2004.

• 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.

• Qu, Yang; Lin, Chuang; Wang, Jiye:
  Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models. 2002.

• Lin, C.; Chanson, S.T.; Murata, Tadao:
  Petri Net Models and Efficient T-invariant Analysis for Logical Inference of Clauses. 1996.

• Lin, C.; Murata, Tadao:
  A Petri Net Model for Inference in Non-Monotonic Logic. 1994.

• Lu, W.; Lin, Ch.:
  Petri Net Model of Manufacturing Systems. 1993.

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

• Lin, Ch.; Lu, W.:
  Knowledge Representation by Petri Nets. 1992.

• Lu, W.; Lin, Ch.:
  Design Principles of a Distributed System. 1992.

• Lin, Chuang; Lu, Wei-Ming:
  Knowledge Representation by Petri Nets. 1991.

• Lin, Chuang; Lu, Wei Ming:
  A Petri Net Model for a Reason Maintenance System. 1991.

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

• Lin, Ch.; Tong, Z.:
  An Algorithm For Computing S-Invariants For High Level Petri Nets. 1991.

• Lin, Ch.; Murata, Tadao:
  Application of Petri nets to non-monotonic logic. 1990.

• Lin, C.; Marinescu, D.C.:
  Stochastic High-Level Petri Nets and Applications. 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.; 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