scientific article; zbMATH DE number 1497817

zbMATH Open0966.68108MaRDI QIDQ4499237FDOQ4499237

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

Publication date: 4 March 2001

Title of this publication is not available (Why is that?)

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

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)

Cited In (10)

• Functorial models for Petri nets
• A categorical semantics for guarded Petri nets
• Unifying Petri Net Semantics with Token Flows
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Title not available (Why is that?)
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Process versus unfolding semantics for Place/Transition Petri nets
• Mathematical Foundations of Computer Science 2005
• Normal forms for algebras of connections.
• Pre-nets, read ARCS and unfolding: A functorial presentation.

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)