Representations of Petri Net Interactions

DOI10.1007/978-3-642-15375-4_38zbMath1287.68142OpenAlexW1516536200MaRDI QIDQ3584955

Paweł Sobociński

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_38

Mathematics Subject Classification ID

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

Related Items (14)

Step semantics of Boolean nets ⋮ Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ A Normal Form for Stateful Connectors ⋮ Equational Reasoning with Context-Free Families of String Diagrams ⋮ Executions in (Semi-)Integer Petri Nets are Compact Closed Categories ⋮ Unnamed Item ⋮ Towards compositional graph theory ⋮ Behaviour, Interaction and Dynamics ⋮ On the geometry and algebra of networks with state ⋮ A Programming Language for Spatial Distribution of Net Systems ⋮ From Hierarchical BIP to Petri Calculus ⋮ The calculus of signal flow diagrams. I: Linear relations on streams. ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} ⋮ A Connector Algebra for P/T Nets Interactions

This page was built for publication: Representations of Petri Net Interactions