DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Petri Nets for Systems and Synthetic BiologyPublished by Springer Science and Business Media LLC ,2008
- From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network AnalysisLecture Notes in Computer Science, 2006
- Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuberBioinformatics, 2004
- The Model-Checking KitLecture Notes in Computer Science, 2003
- Structural Symbolic CTL Model Checking of Asynchronous SystemsLecture Notes in Computer Science, 2003
- Efficient Reachability Set Generation and Storage Using Decision DiagramsLecture Notes in Computer Science, 1999
- Symbolic model checking of process networks using interval diagram techniquesPublished by Association for Computing Machinery (ACM) ,1998
- Zero-suppressed BDDs for set manipulation in combinatorial problemsPublished by Association for Computing Machinery (ACM) ,1993
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986