Petri nets as semantic domain for diagram notations

zbMATH Open1272.68286MaRDI QIDQ2848073FDOQ2848073

Authors: Mauro Pezzè, Luciano Baresi 

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105001180

Recommendations

• scientific article; zbMATH DE number 3974312
• Petri-Netze
• scientific article; zbMATH DE number 979001
• scientific article; zbMATH DE number 3922334
• Petri nets
• scientific article; zbMATH DE number 1191244
• Formal Methods in Software and Systems Modeling
• Petri Nets Are Dioids
• A Petri nets semantics for data flow networks
• scientific article; zbMATH DE number 4092787

Mathematics Subject Classification ID

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

Cited In (1)

• How Expressive Are Petri Net Schemata?

This page was built for publication: Petri nets as semantic domain for diagram notations

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