A programming language for spatial distribution of net systems

DOI10.1007/978-3-319-07734-5_9MaRDI QIDQ5166761zbMATH OpenOpenAlexFDO

Authors Paweł Sobociński, Owen Stephens

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

algebraic calculilogical calculimodelling approachesnet-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)

Recommendations

• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• scientific article; zbMATH DE number 3870604
• A class of composable high level Petri nets
• Axiomatizing CCS, nets and processes
• scientific article; zbMATH DE number 43161

Cites work

• A calculus of communicating systems
• A connector algebra for P/T nets interactions
• A technique of state space search based on unfolding
• A tutorial on coinductive stream calculus and signal flow graphs
• Categorical quantum mechanics
• Compositional reachability in Petri nets
• Connector algebras for C/E and P/T nets' interactions
• How to calculate symmetries of Petri nets
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4108166 (Why is no real title available?)
• scientific article; zbMATH DE number 1107620 (Why is no real title available?)
• scientific article; zbMATH DE number 1863181 (Why is no real title available?)
• Nivat's processes and their synchronization
• Process mining. Discovery, conformance and enhancement of business processes.
• Representations of Petri net interactions
• SAT-solving the coverability problem for Petri nets
• Simple Composition of Nets
• Towards an algebraic theory of Boolean circuits.

Cited in

(5)

• Extended Nested Dual System Groups, Revisited
• Confluence of graph rewriting with interfaces
• Lawvere categories as composed PROPs
• String diagram rewrite theory III: Confluence with and without Frobenius
• Semantics for a lambda calculus for string diagrams

Describes a project that uses

Uses Software

• PNBml

This page was built for publication: A programming language for spatial distribution of net systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166761)