scientific article; zbMATH DE number 3660797

MaRDI QIDQ3859263zbMATH OpenFDO

Authors G. Memmi

Publication date 1978

zbMATH Keywords

livePetri netsunimposed choice graphs

Mathematics Subject Classification ID

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

Cited in

(2)

• An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets
• A polynomial-time algorithm to decide liveness of bounded free choice nets

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 Q3859263)