Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag

DOI10.1007/978-3-642-21834-7_20zbMath1330.68198OpenAlexW180991823MaRDI QIDQ3011898

Maximilien Colange, Fabrice Kordon, Yann Thierry-Mieg, Souheib Baarir

Publication date: 29 June 2011

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_20

zbMATH Keywords

model checkinghierarchical set decision diagramssymmetric nets with bagssymmetries-based techniques

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 (2)

Reversing Unbounded Petri Nets ⋮ Investigating Reversibility of Steps in Petri Nets

Uses Software

• GreatSPN
• Crocodile

Cites Work

• Unnamed Item
• A symbolic reachability graph for coloured Petri nets
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag