scientific article; zbMATH DE number 3612450

zbMATH Open0394.68043MaRDI QIDQ4176984FDOQ4176984

Authors: G. Memmi 

Publication date: 1978

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

LivenessPetri NetsSafenessProduction SchemataUnimposed Choice Graphs

Mathematics Subject Classification ID

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

Cites Work

• Marked directed graphs
• Title not available (Why is that?)
• Formal semantics of a class of high-level primitives of coordinating concurrent processes

Cited In (3)

• Petri nets for modeling of dynamic systems -- a survey
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Minimal generating sets for semiflows

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