scientific article; zbMATH DE number 1497817

MaRDI QIDQ4499237zbMATH OpenFDO

Authors Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone

Publication date 4 March 2001

zbMATH Keywords

Petri netspre-nettoken philosophy

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 1302631
• scientific article; zbMATH DE number 2064462
• Pre-nets, read ARCS and unfolding: A functorial presentation.
• On the semantics of place/transition Petri nets

Cited in

(13)

• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Pre-nets, read ARCS and unfolding: A functorial presentation.
• A categorical semantics for hierarchical Petri nets
• Normal forms for algebras of connections.
• Process versus unfolding semantics for Place/Transition Petri nets
• Unifying Petri Net Semantics with Token Flows
• GETGRATS: a summary of scientific results (with annotated bibliography)
• A categorical semantics for bounded Petri nets
• Functorial models for Petri nets
• Mathematical Foundations of Computer Science 2005
• scientific article; zbMATH DE number 2064462 (Why is no real title available?)
• Whole-grain Petri nets and processes
• A categorical semantics for guarded Petri nets

This page was built for publication:

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