P-Semiflow Computation with Decision Diagrams

DOI10.1007/978-3-642-02424-5_10zbMath1242.68175OpenAlexW1500685802MaRDI QIDQ3636844

Galen Mecham, Min Wan, Emmanuel Paviot-Adet, Gianfranco Ciardo

Publication date: 30 June 2009

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-02424-5_10

Mathematics Subject Classification ID

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

Uses Software

• SMART_
• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Zero-suppressed BDDs and their applications
• Compositional minimisation of finite state systems using interface specifications
• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
• Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams

This page was built for publication: P-Semiflow Computation with Decision Diagrams