scientific article; zbMATH DE number 1236364

MaRDI QIDQ4223777zbMATH OpenFDO

Authors J. Padberg

Publication date 6 January 1999

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1860660
• A formal framework for Petri net class transformations
• Functorial models for Petri nets
• Petri nets, algebras, morphisms, and compositionality
• Petri nets based on Lawvere theories

Cited in

(5)

• Petri nets based on Lawvere theories
• scientific article; zbMATH DE number 1860660 (Why is no real title available?)
• Unifying Petri nets with restricted occurrence rule using partial algebra
• A formal framework for Petri net class transformations
• Categories of 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 Q4223777)