DSSZ-MC - A tool for symbolic analysis of extended petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5606 LNCS, Issue , 2009, Pages 323-332

  Heiner, Monika ^a   Schwarick, Martin ^a   Tovchigrechko, Alexej ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

, INHIBITOR; BACKWARD REACHABILITY; BOUNDEDNESS; CTL MODEL-CHECKING; DECISION DIAGRAM; EFFICIENT ANALYSIS; EXTENDED PETRI NET; LIVENESS; OBJECT-ORIENTED IMPLEMENTATION; RESET ARCS; STATE ANALYSIS; STATE-SPACE GENERATION; STRONGLY CONNECTED COMPONENT; SYMBOLIC ANALYSIS; TRACE GENERATION; TRANSITION PETRI NET; ZERO-SUPPRESSED BINARY DECISION DIAGRAMS;

BINARY DECISION DIAGRAMS; COMPUTER OPERATING SYSTEMS; GRAPH THEORY; MODEL CHECKING; PETRI NETS;

TRACE ANALYSIS;

EID: 70349368137     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02424-5_20     Document Type: Conference Paper

References (18)

1. Bause, F., Kemper, P., Kritzinger, P.: Abstract Petri Net Notation. Technical report, Univ. Dortmund, CS Dep. (1994)
2. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans, on Computers C-35(8), 677-691 (1986)
3. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999) (third printing, 2001)
4. Ciardo, G., Siminiceanu, R.: Structural symbolic CTL model checking of asynchronous systems. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 40-53. Springer, Heidelberg (2003)
5. Franzke, A.: A concept for redesigning Charlie. Technical report, BTU Cot-tbus, Dep. of CS (2008)
6. Gilbert, D., Heiner, M.: From Petri nets to differential equations - an inte-grative approach for biochemical network analysis. In: Donatelli, S., Thia-garajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 181-200. Springer, Heidelberg (2006)
7. Heiner, M., Gilbert, D., Donaldson, R.: Petri nets in systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 215-264. Springer, Heidelberg (2008)
8. Heiner, M., Richter, R., Schwarick, M.: Snoopy - a tool to design and animate/simulate graph-based formalisms. In: Proc. PNTAP 2008, associated to SIMUTools 2008. ACM digital library, New York (2008)
9. Koch, I., Junker, B.H., Heiner, M.: Application of Petri Net Theory for Modeling and Validation of the Sucrose Breakdown Pathway in the Potato Tuber. Bioinformatics 21(7), 1219-1226 (2005)
10. Miner, A.S., Ciardo, G.: Efficient reachability set generation and storage using decision diagrams. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 6-25. Springer, Heidelberg (1999)
11. Minato, S.: Zero-suppressed BDDs for set manipulation in combinatorial problems. In: Proc. 30th ACM/IEEE Design Automation Conference (DAC), pp. 272-277. ACM Press, New York (1993)
12. Noack, A.: A ZBDD package for efficient model checking of Petri nets. Technical report, BTU Cottbus, Dep. of CS (1999) (in German)
13. Priese, L., Wimmel, H.: Theoretical Informatics - Petri Nets. Springer, Heidelberg (2003) (in German)
14. Ridder, H.: Analysis of Petri Net Models with Decision Diagrams. PhD thesis, University Koblenz-Landau (1997) (in German)
15. Schwarick, M.: Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams. In: Proc. 15th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2008), September 2008. CEUR Workshop Proceedings, vol. 380, pp. 43-48. CEUR-WS.org (2008)
16. Schröter, C., Schwoon, S., Esparza, J.: The Model Checking Kit. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 463-472. Springer, Heidelberg (2003)
17. Strehl, K., Thiele, L.: Symbolic model checking using interval diagram techniques. Technical report, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich (1998)
18. Tovchigrechko, A.: Model Checking Using Interval Decision Diagrams. PhD thesis, BTU Cottbus, Dep. of CS (2008)