Unifying Petri nets with restricted occurrence rule using partial algebra

DOI10.1016/S1571-0661(04)80950-2MaRDI QIDQ4923515zbMATH OpenFDO

Authors Jörg Desel, Gabriel Juhás, Robert Lorenz

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80950-2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1973122
• scientific article; zbMATH DE number 3967922
• scientific article; zbMATH DE number 1696454
• The non-sequential behaviour of Petri nets
• A unified model for nets and process algebras

Cites work

• An algebraic description of system behaviours
• An axiomatization of the category of Petri net computations
• Axiomatizing the algebra of net computations and processes
• Behaviours of concurrent systems
• Contextual nets
• scientific article; zbMATH DE number 1670822 (Why is no real title available?)
• scientific article; zbMATH DE number 1696454 (Why is no real title available?)
• scientific article; zbMATH DE number 1696460 (Why is no real title available?)
• scientific article; zbMATH DE number 1223715 (Why is no real title available?)
• scientific article; zbMATH DE number 1236364 (Why is no real title available?)
• scientific article; zbMATH DE number 1236370 (Why is no real title available?)
• scientific article; zbMATH DE number 1302043 (Why is no real title available?)
• scientific article; zbMATH DE number 1302631 (Why is no real title available?)
• scientific article; zbMATH DE number 1341760 (Why is no real title available?)
• scientific article; zbMATH DE number 1973122 (Why is no real title available?)
• scientific article; zbMATH DE number 1973123 (Why is no real title available?)
• scientific article; zbMATH DE number 1455622 (Why is no real title available?)
• Petri nets are monoids
• Semantics of inhibitor nets
• Sequential and concurrent behaviour in Petri net theory

Cited in

(1)

• Union decomposition of Petri net

This page was built for publication: Unifying Petri nets with restricted occurrence rule using partial algebra

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