Publication:4730790

zbMath0681.68079MaRDI QIDQ4730790

Louis E. Rosier, Alain Finkel

Publication date: 1988

zbMATH Keywords

Petri nets; decidability; fifo nets

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Testing for unboundedness of fifo channels, Well-abstracted transition systems: Application to FIFO automata.