Transient analysis of stochastic petri nets with interval decision diagrams

CEUR Workshop Proceedings

Volumn 380, Issue , 2008, Pages 43-48

  Schwarick, Martin ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME MARKOV CHAIN; DECISION DIAGRAM; NET STRUCTURES; PARALLELIZATIONS; PROTOTYPE IMPLEMENTATIONS; SIMPLE ALGORITHM; STOCHASTIC PETRI NETS; VECTOR-MATRIX MULTIPLICATIONS;

ALGORITHMS; DECISION THEORY; MARKOV PROCESSES; PETRI NETS; TOOLS;

TRANSIENT ANALYSIS;

EID: 79955713717     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. Gilbert D., Heiner M., Lehrack S. : A unifying framework for modelling and analysing biochemical pathways using Petri nets, Proc. 5th International Conference on Computational Methods in Systems Biology (CMSB 2007), Edinburgh, September, Springer LNCS/LNBI 4695, pp. 200-216 (2007)
2. Stewart W. J. : Introduction to the Numerical Solution of Markov Chains. Princeton (1994)
3. Aziz A., Sanwal K., Singhal V., Brayton R. : Verifying Continuous Time Markov Chains. Proc. 8th International Conference on Computer Aided Verification (CAV96), Springer, pp. 269-276 (1996)
4. Parker D. : Implementation of symbolic model checking of probabilistic systems. University of Bermingham, PhD thesis (2002)
5. Miner A. S., Ciardo G. : A data structure for the efficient solution of GSPN. College of William and Mary Williamsburg (1999)
6. Tovchigrechko A. : Efficient symbolic analysis of bounded Petri Nets using Interval Decision Diagrams. Brandenburgische Technische Universitat Cottbus, PhD thesis in press (2006)
7. Baier C., Haverkort B., Hermanns H., Katoen J.-P. : Model checking continuoustime Markov chains by transient analysis. Proc. 12th International Conference on Computer Aided Verification (CAV00), Springer, pp. 358-372 (2000)
8. Heiner M., Richter R., Schwarick M. : Snoopy-A Tool to Design and Animate/ Simulate Graph-Based Formalisms. Proc. International Workshop on Petri Nets Tools and APplications (PNTAP 2008, associated to SIMUTools 2008), Marseille, ACM digital library (2008)