scientific article

From MaRDI portal

Revision as of 12:24, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 (6)

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

This page was built for publication:

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