Combining Petri nets and PA-processes

DOI10.1007/BFB0014567MaRDI QIDQ4364400zbMATH OpenFDO

Authors Richard M. Mayr

Publication date 17 November 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0014567

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 785044
• Axiomatizing Petri net concatenable processes
• Petri nets and regular processes
• Merged processes: a new condensed representation of Petri net behaviour
• Process discovery and Petri nets
• On hybrid Petri nets
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 591002
• scientific article; zbMATH DE number 3967922

Cited in

(8)

• Process rewrite systems.
• Recursive Petri nets
• Process of petri nets extension
• Axiomatizing Petri net concatenable processes
• CONCUR 2005 – Concurrency Theory
• Decidability of model checking with the temporal logic EF
• The regular viewpoint on PA-processes
• Merged processes: a new condensed representation of Petri net behaviour

This page was built for publication: Combining Petri nets and PA-processes

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