scientific article; zbMATH DE number 1302631

MaRDI QIDQ4249180zbMATH OpenFDO

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

Publication date 16 June 1999

zbMATH Keywords

Petri nets

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

• scientific article; zbMATH DE number 1497817
• Functorial models for Petri nets
• scientific article; zbMATH DE number 2064462
• Mathematical Foundations of Computer Science 2005
• On the semantics of place/transition Petri nets

Cited in

(11)

• Functorial models for Petri nets
• Unifying Petri Net Semantics with Token Flows
• scientific article; zbMATH DE number 2064462 (Why is no real title available?)
• scientific article; zbMATH DE number 1497817 (Why is no real title available?)
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Unifying Petri nets with restricted occurrence rule using partial algebra
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Mathematical Foundations of Computer Science 2005
• CONCUR 2005 – Concurrency Theory
• Whole-grain Petri nets and processes
• Configuration structures, event structures and 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 Q4249180)