Keyword: transition systems

• Tarasyuk, Igor V.:
  Stochastic Petri box calculus with discrete time. 2007.

• Koutny, Maciej; Pietkiewicz-Koutny, Marta:
  Transition Systems of Elementary Net Systems with Localities. 2006.

• Tarasyuk, Igor V.:
  Iteration in discrete time stochastic Petri box calculus. 2006.

• Buy, Ugo; Singal, Gaurav:
  Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. 2002.

• Bruni, R.; Meseguer, J.; Montanari, U.; Sassone, V.:
  A Comparison of Petri Net Semantics under the Collective Token Philosophy. 1998.

• Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Yakovlev, A.:
  Deriving Petri nets from finite transition systems. 1998.

• Pietkiewicz-Koutny, Marta:
  Synthesis of ENI-systems Using Minimal Regions. 1998.

• Yakovlev, A.; Lavagno, L.; Sangiovanni-Vincentelli, A.:
  A unified signal transition graph model for asynchronous control circuit synthesis. 1996.

• Boudol, G.; Castellani, I.:
  Flow models of distributed computations - 3. Equivalent semantics for CCS. 1994.

• Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P.S.:
  Elementary Transition Systems. 1990.

Back to the Petri Nets Bibliography