Lectures on Concurrency and Petri Nets

DOI10.1007/b98282zbMath1088.68135OpenAlexW78026558MaRDI QIDQ5712293

Ruediger Valk

Publication date: 23 December 2005

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

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

Mathematics Subject Classification ID

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

Related Items (16)

Software Engineering with Petri Nets: A Web Service and Agent Perspective ⋮ Complexity Results for Elementary Hornets ⋮ Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Structural matrices for Signed Petri net ⋮ Nested-unit Petri nets ⋮ Modular rewritable Petri nets: an efficient model for dynamic distributed systems ⋮ Canonization of reconfigurable PT nets in \texttt{Maude} ⋮ Boundedness of adaptive nets is decidable ⋮ An introduction to signed Petri net ⋮ Time Recursive Petri Nets ⋮ Petri nets with name creation for transient secure association ⋮ Nested Petri Nets for Adaptive Process Modeling ⋮ Hornets: Nets within Nets Combined with Net Algebra ⋮ Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets ⋮ Modeling biological gradient formation: combining partial differential equations and Petri nets ⋮ Formal specification and verification of decentralized self-adaptive systems using symmetric nets

Uses Software

• Renew

This page was built for publication: Lectures on Concurrency and Petri Nets