scientific article

zbMath0424.68033MaRDI QIDQ3859263

G. Memmi

Publication date: 1978

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (2)

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

This page was built for publication: