Keyword: t-invariants

• Verbeek, H.M.W.; Basten, Twan:
  Deciding Life-Cycle Inheritance on Petri Nets. 2003.

• Frey, G.; MoÑig, K.; Schnabel, M.:
  Assembly line sequencing based on Petri net T-invariants. 1998.

• Kostin, A.E.; Tchoudaikina, S.A.:
  Yet Another Reachability Algorithm for Petri Nets. 1998.

• Yu, S.K.:
  Knowledge representation and reasoning using fuzzy Pr/T net systems. 1995.

• Lee, C.; Murata, Tadao:
  A Petri net model for nonmonotonic reasoning based on annotated logic programs. 1994.

• Wang, F.Y.; Gildea, K.; Jungnitz, H.; Chen, D.D.:
  Protocol design and performance analysis for manufacturing message specification - a Petri net approach. 1994.

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

• Wang, Fei Yue; Gildea, Kevin; Rubenstein, Alan:
  A Colored Petri Net Model for Connection Management Services in MMS. 1989.

Back to the Petri Nets Bibliography