Transition systems, link graphs and Petri nets

DOI10.1017/S0960129506005664MaRDI QIDQ3419786zbMATH OpenOpenAlexFDO

Authors James J. Leifer, Robin Milner

Publication date 7 February 2007

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129506005664

Mathematics Subject Classification ID

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

Recommendations

• Petri nets and bisimulation
• A categorical linear framework for Petri nets
• Lectures on Concurrency and Petri Nets
• PETRI NETS AND STEP TRANSITION SYSTEMS
• A congruence for Petri nets

Cited in

(18)

• Kind Bigraphs
• scientific article; zbMATH DE number 7215282 (Why is no real title available?)
• scientific article; zbMATH DE number 1973127 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• \textsf{DBtk}: a toolkit for directed bigraphs
• An inductive characterization of matching in binding bigraphs
• Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• Bigraphs and their algebra
• Local bigraphs and confluence: two conjectures (extended abstract)
• scientific article; zbMATH DE number 2086960 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling
• Pure bigraphs: structure and dynamics
• Directed bigraphs
• scientific article; zbMATH DE number 1302043 (Why is no real title available?)
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Matching of bigraphs
• Analysis and application of transition systems based on Petri nets and relation matrices to business process management

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Transition systems, link graphs and Petri nets

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