Pre-nets, read ARCS and unfolding: A functorial presentation.

DOI10.1007/B94458MaRDI QIDQ5900820zbMATH OpenOpenAlexFDO

Authors Paolo Baldan, Roberto Bruni, Ugo Montanari

Publication date 20 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94458

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Functorial models for Petri nets
• scientific article; zbMATH DE number 1497817
• scientific article; zbMATH DE number 1759628
• On the semantics of place/transition Petri nets
• scientific article; zbMATH DE number 1304999

Cited in

(7)

• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
• Functorial models for Petri nets
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• scientific article; zbMATH DE number 1304999 (Why is no real title available?)
• scientific article; zbMATH DE number 1497817 (Why is no real title available?)
• Free energy of Petri nets
• Whole-grain Petri nets and processes

This page was built for publication: Pre-nets, read ARCS and unfolding: A functorial presentation.

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