scientific article; zbMATH DE number 4024802

MaRDI QIDQ3766863zbMATH OpenFDO

Authors C. A. Petri

Publication date 1987

zbMATH Keywords

dualityinformation flow graphsmeshesPetri netsstochastic netstimed net

Mathematics Subject Classification ID

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

Recommendations

• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Occurrence nets then and now: the path to structured occurrence nets
• Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• scientific article; zbMATH DE number 3922334
• scientific article; zbMATH DE number 3982529

Cited in

(6)

• A characterization of systems derived from terminating concurrent histories
• Analysis of Petri nets by stepwise refinements
• Formalization of semantics of systems with unreliable agents by means of nets of active resources
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Temporal uncertainty and fuzzy-timing high-level Petri nets
• On the border of causality: contact and confusion

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