scientific article

From MaRDI portal

Publication:3766863

Jump to:navigation, search

zbMath0629.68061MaRDI QIDQ3766863

C. A. Petri

Publication date: 1987

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

zbMATH Keywords

duality Petri nets meshes stochastic nets information flow graphs timed net

Mathematics Subject Classification ID

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

Related Items

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3766863&oldid=17313806"