Applications and Theory of Petri Nets 2005

DOI10.1007/b136988zbMath1128.68377OpenAlexW2507030177MaRDI QIDQ5713518

Sami Evangelista

Publication date: 14 December 2005

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

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

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)

Related Items (3)

Exploiting colored Petri nets to decide on permutation admissibility ⋮ Helena ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation

Uses Software

• GreatSPN
• CPN/Tools
• GreatSPN 1.7
• SPIN
• Maria
• SPOT

This page was built for publication: Applications and Theory of Petri Nets 2005