Keyword: sequential processes

• Recalde, L.; Teruel, E.; Silva, M.:
  On linear algebraic techniques for liveness analysis of P/T system. 1998.

• Bourcerie, M.; Morel, J.-Y.:
  Algebraically structured colored Petri nets to model sequential processes. 1997.

• Ezpeleta, J.; Colom, J.M.; Martínez, J.:
  A Petri net based deadlock prevention policy for flexible manufacturing systems. 1993.

• Soussi, Younes:
  Deterministic Systems of Sequential Processes: A Class of Structured Petri Nets. 1991.

• Souissi, Younes:
  Deterministic Systems of Sequential Processes. 1990.

Back to the Petri Nets Bibliography