scientific article; zbMATH DE number 1223715

zbMath0912.68142MaRDI QIDQ4219030

Ugo Montanari, Fabio Gadducci

Publication date: 18 May 1999

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

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

Related Items

Petri nets are dioids: a new algebraic foundation for non-deterministic net theory, Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra, Petri Nets Are Dioids, Normal forms for algebras of connections., Tile formats for located and mobile systems., Contextual Petri nets, asymmetric event structures, and processes, Partial order semantics and read arcs