scientific article; zbMATH DE number 803796

MaRDI QIDQ4850339zbMATH OpenFDO

Authors Waldemar Korczynski

Publication date 9 October 1995

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

Cited in

(11)

• State space analysis of Petri nets with relation-algebraic methods
• Petri nets and algebraic specifications
• scientific article; zbMATH DE number 5201493 (Why is no real title available?)
• Process algebras for Petri nets. The alphabetization of distributed systems
• Petri net algebra
• scientific article; zbMATH DE number 5263412 (Why is no real title available?)
• Petri Automata for Kleene Allegories
• scientific article; zbMATH DE number 1004345 (Why is no real title available?)
• scientific article; zbMATH DE number 1973122 (Why is no real title available?)
• On the fluidization of Petri nets and marking homothecy
• scientific article; zbMATH DE number 1696454 (Why is no real title available?)

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