scientific article; zbMATH DE number 3612450

zbMath0394.68043MaRDI QIDQ4176984

G. Memmi

Publication date: 1978

Full work available at URL: https://eudml.org/doc/92066

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

zbMATH Keywords

Petri NetsLivenessSafenessProduction SchemataUnimposed Choice Graphs

Mathematics Subject Classification ID

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

Related Items (2)

Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems ⋮ Petri nets for modeling of dynamic systems -- a survey

Cites Work

• Formal semantics of a class of high-level primitives of coordinating concurrent processes
• Marked directed graphs
• Unnamed Item

This page was built for publication: