Petri nets over partial algebra

DOI10.1007/3-540-45541-8_6MaRDI QIDQ4421723zbMATH OpenFDO

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

Publication date 1 September 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2128/21280126.htm, https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-561513

Mathematics Subject Classification ID

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

Recommendations

• On semantics of Petri nets over partial algebra
• Process semantics of Petri nets over partial algebra
• Petri nets and algebraic specifications
• Petri net algebra
• scientific article; zbMATH DE number 803796
• scientific article; zbMATH DE number 1004345
• On the algebraic structure of Petri nets
• scientific article; zbMATH DE number 3967922
• scientific article; zbMATH DE number 3980501
• scientific article; zbMATH DE number 2155194

Cited in

(15)

• Petri net algebra
• Partial array token Petri net and P system
• Factorisation of Petri net solvable transition systems
• Partial-order process algebra (and its relation to Petri nets)
• Process semantics of Petri nets over partial algebra
• Debits and Credits in Petri Nets and Linear Logic
• scientific article; zbMATH DE number 1004345 (Why is no real title available?)
• PATH DECOMPOSITION AND SEMILINEARITY OF PETRI NETS
• Partial Order Semantics of Types of Nets
• scientific article; zbMATH DE number 4098730 (Why is no real title available?)
• scientific article; zbMATH DE number 149517 (Why is no real title available?)
• On semantics of Petri nets over partial algebra
• Petri Automata for Kleene Allegories
• Unifying Petri nets with restricted occurrence rule using partial algebra
• Petri nets and algebraic specifications

This page was built for publication: Petri nets over partial algebra

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