scientific article; zbMATH DE number 3988722

MaRDI QIDQ3751021zbMATH OpenFDO

Authors Glynn Winskel

Publication date 1986

zbMATH Keywords

category of Petri netsconcurrencyparallel compositionproductsubcategory of two sorted algebras over multisets

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Petri nets, algebras, morphisms, and compositionality
• Petri nets are monoids
• scientific article; zbMATH DE number 3892604
• scientific article; zbMATH DE number 871231
• Axiomatizing the algebra of net computations and processes

Cited in

(38)

• Petri nets, algebras, morphisms, and compositionality
• The ins and outs of Petri net composition
• On the fluidization of Petri nets and marking homothecy
• Two polygraphic presentations of Petri nets
• A categorical linear framework for Petri nets
• scientific article; zbMATH DE number 1696463 (Why is no real title available?)
• scientific article; zbMATH DE number 1701348 (Why is no real title available?)
• A congruence for Petri nets
• Nets, relations and linking diagrams
• Petri nets based on Lawvere theories
• scientific article; zbMATH DE number 4156720 (Why is no real title available?)
• Representations of Petri net interactions
• scientific article; zbMATH DE number 3984592 (Why is no real title available?)
• scientific article; zbMATH DE number 1361124 (Why is no real title available?)
• scientific article; zbMATH DE number 1973124 (Why is no real title available?)
• scientific article; zbMATH DE number 1487813 (Why is no real title available?)
• scientific article; zbMATH DE number 1515282 (Why is no real title available?)
• Temporal logic and categories of Petri nets
• On a homomorphism of a component Petri net
• scientific article; zbMATH DE number 3999306 (Why is no real title available?)
• scientific article; zbMATH DE number 2087812 (Why is no real title available?)
• scientific article; zbMATH DE number 2120041 (Why is no real title available?)
• scientific article; zbMATH DE number 871231 (Why is no real title available?)
• On Compositionality of Boundedness and Liveness for Nested Petri Nets
• Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
• Modular relaxed dependencies in weak memory concurrency
• Network models from Petri nets with catalysts
• On the category of Petri net computations
• scientific article; zbMATH DE number 7204431 (Why is no real title available?)
• scientific article; zbMATH DE number 3892604 (Why is no real title available?)
• Timing Petri nets categorically
• Algebraic properties of Petri net morphisms based on place connectivity
• Recursion and Petri nets
• Whole-grain Petri nets and processes
• Extensional Petri net
• Petri nets and bisimulation
• Computations in living organisms modeled by marked graphs
• Petri nets are monoids

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 Q3751021)