scientific article; zbMATH DE number 4115984

MaRDI QIDQ4730790zbMATH OpenFDO

Authors Louis E. Rosier, Alain Finkel

Publication date 1988

zbMATH Keywords

decidabilityfifo netsPetri nets

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Deciding the FIFO Stability of Networks in Polynomial Time
• scientific article; zbMATH DE number 827979
• Entscheidbarkeit bei Petri Netzen
• Decidable topologies for communicating automata with FIFO and bag channels
• scientific article; zbMATH DE number 1302047
• Decidability problems of a basic class of object nets
• Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
• scientific article; zbMATH DE number 7471708
• scientific article; zbMATH DE number 1522994
• scientific article; zbMATH DE number 4117879

Cited in

(7)

• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
• Well-abstracted transition systems: Application to FIFO automata.
• Fifo nets without order deadlock
• Deciding the FIFO Stability of Networks in Polynomial Time
• scientific article; zbMATH DE number 4037223 (Why is no real title available?)
• scientific article; zbMATH DE number 7471708 (Why is no real title available?)
• Testing for unboundedness of fifo channels

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4730790)