A Programming Language for Spatial Distribution of Net Systems

DOI10.1007/978-3-319-07734-5_9zbMath1410.68259OpenAlexW1029858661MaRDI QIDQ5166761

Owen Stephens, Paweł Sobociński

Publication date: 8 July 2014

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07734-5_9

zbMATH Keywords

logical calculimodelling approachesalgebraic calculinet-based calculisemantical calculisystem design using nets

Mathematics Subject Classification ID

Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Confluence of Graph Rewriting with Interfaces ⋮ Lawvere Categories as Composed PROPs ⋮ Extended Nested Dual System Groups, Revisited ⋮ String diagram rewrite theory III: Confluence with and without Frobenius

Uses Software

• PNBml

Cites Work

• A calculus of communicating systems
• A technique of state space search based on unfolding
• Towards an algebraic theory of Boolean circuits.
• Nivat's processes and their synchronization
• SAT-solving the coverability problem for Petri nets
• How to calculate symmetries of Petri nets
• A tutorial on coinductive stream calculus and signal flow graphs
• Connector algebras for C/E and P/T nets' interactions
• Categorical quantum mechanics
• Process Mining
• A Connector Algebra for P/T Nets Interactions
• Compositional Reachability in Petri Nets
• Representations of Petri Net Interactions
• Simple Composition of Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Programming Language for Spatial Distribution of Net Systems