Modal algebra and Petri nets

DOI10.1007/S00236-015-0216-3MaRDI QIDQ2340252zbMATH OpenOpenAlexFDO

Authors Han-Hing Dang, Bernhard Möller

Publication date 16 April 2015

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587365

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 3967922
• State space analysis of Petri nets with relation-algebraic methods
• scientific article; zbMATH DE number 3980501
• Automata, Languages and Programming
• On the algebraic structure of Petri nets

Cites work

• Algebraic calculi for hybrid systems
• Algebraic separation logic
• Algebras of modal operators and partial correctness
• Automated Reasoning in Kleene Algebra
• Characterizing determinacy in Kleene algebras
• Concurrent Kleene algebra and its foundations
• Executions: A new partial-order semantics of Petri nets
• Fixed-point calculus
• scientific article; zbMATH DE number 1646978 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 125887 (Why is no real title available?)
• scientific article; zbMATH DE number 149517 (Why is no real title available?)
• scientific article; zbMATH DE number 1106703 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1955908 (Why is no real title available?)
• scientific article; zbMATH DE number 2087445 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Kleene algebra with domain
• Mutex needs fairness
• On Automating the Calculus of Relations
• On locality and the exchange law for concurrent processes
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Quantales and Temporal Logics
• Relational Methods in Computer Science
• Reverse exchange for concurrency and local reasoning
• State space analysis of Petri nets with relation-algebraic methods
• STG decomposition strategies in combination with unfolding
• Temporal algebra
• The inverse semigroup of a sum-ordered semiring
• The semantics and proof theory of the logic of bunched implications

Cited in

(2)

• Developments in concurrent Kleene algebra
• Some uses of modal semirings

Describes a project that uses

Uses Software

• RelView
• Prover9
• Mace4

This page was built for publication: Modal algebra and Petri nets

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