A reachability graph construction algorithm based on canonical transition firing count vectors

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 113-122

  Chiola, Giovanni ^a   Carvajal Schiaffino, Rubén ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL RESOURCES; CONSTRUCTION ALGORITHMS; FIRING COUNT VECTORS; GRAPH CONSTRUCTION; INITIAL MARKING; PERFORMANCE; PETRI NET MODELS; REACHABILITY GRAPHS; SPACE AND TIME; TRANSITION FIRINGS;

PETRI NETS;

EID: 77954186568     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2001.953361     Document Type: Conference Paper

References (25)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons. 1995.
2. M. Ajmone Marsan, G. Balbo and G.Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems 2(2):93-122.
3. A. Valmari. Stubborn Sets for Reduced State Space Generation. Advances in Petri Nets 1990, Springer-Verlag LNCS 483. 1991.
4. E. Teruel, G. Franceschinis and M. Silva. Untimed Petri Nets. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques. Vol. 1. Draft for the Summer School Jaca (Spain), 3-1 1 September 1998.
5. G. Chiola, G. Franceschinis and R. Gaeta. Modelling Symmetric Computer Architectures by SWNs. Appl. and Theory of Petri Nets, 1994, Springer LNCS 815.
6. S. Donatelli. Superposed Generalized Stochastic Petri nets: definition and efficient solution. Appl. and Theory of Petri Nets, 1994, Springer LNCS 815.
7. S. Donatelli. Tensor based Method in GSPN. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques. Vol. 2. Draft for the Summer School Jaca (Spain), 3-11 September 1998.
8. J. Hillston, M. Ribaudo. Stochastic Process Algebras. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques. Vol. 1. Draft for the Summer School Jaca (Spain), 3-11 September 1998.
9. W. H. Sanders, J. F. Meyer. Variable driven construction methods for stochastic activity networks.Applied Mathematics and Perforrnance/ReliabilityModels of Computer/CommunicationSystems. 1987.
10. M. A. Marsan, S. Donatelli, F. Neri and U. Rubino. On the construction of abstract GSPNs: An exercise in Modelling. In Proc. IEEE Int. WorkshopPetri Nets and Peqormance Models. Melbourne, Australia. 1991.
11. D. D. Deavours, W. H. Sanders. An Efficient Disk-Based Tool for Solving Very Large Markov Models. Computer Performance Evaluation, 1997. Springer LNCS 1245.
12. S. Caselli, G. Conte and P. Marenzoni. Parallel State Space Exploration for GSPN Models. Application and Theory of Petri Nets, 1995. Springer LNCS 935.
13. S. C. Allmaier, M. Kowarschik and G. Horton. State Space Construction and Steady-state Solution of GSPN on a Shared-Memory Multiprocessor. In Proc. 7th Int. Workshop on Petri Nets and Performance Models, Saint Malo, France, June 1997.
14. P.Marenzoni, S. Caselli and G. Conte. Analysis of large GSPN Models: A Distributed Solution Tool. In Proc. 7thInt. WorkshoponPetriNetsandPerformance Models, Saint Malo, France, June 1997.
15. A. Miner, G. Ciardo. Efficient Reachability Set Generation and Storage using Decision Diagrams. Application and Theory of Petri Nets, 1999. Springer LNCS 1639.
16. E. Pastor, O. Roig, J. Cortadella and R.M. Badia. Petri Net Analysis Using Boolean Manipulation. Appl. and Theory of Petri Nets, 1994. Springer LNCS 815.
17. O. Roig, J. Cortadella and E. Pastor. Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets.Application and Theory of PetriNets, 1995. Springer LNCS 935.
18. G. Chiola, G.Franceschinis, R. Gaeta and M. Ribaudo. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, Vol.24, Nos. 1-2,pp. 47-68,Nov. 1995.
19. G.Chiola. Compiling Techniques for the Analysis of Stochastic Petri Nets. In Proc. 4th Int. Conf on Modelling Techniques and Tools for Performance Evaluation. 1989.
20. G. Ciardo, A. Miner. Storage alternatives for large structured state spaces. Computer Performance Evaluation, 1997. Springer LNCS 1245.
21. E Gagnon, J-Ch. Grtgoire and D. ZampuniCris. Sharing Trees for ‘On-the-fly’ Verification. In Proc. FORTE’95.1995.
22. R.E. Bryant. Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification. In Proc. ICCAD. 1995.
23. J. M. Colom, E. Teruel and M. Silva. Logical Properties of P/T systems and their analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques. Vol. I. Summer School Jaca (Spain), 3-11 Sep. 1998.
24. M. Silva. Las Redes de Petri en la Automdtica y la Informdtica. Editorial Ac, Madrid, Spain. 1985.
25. R.Carvajal-Schiaffino, G. Delzanno and G. Chiola. Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. In Proc. TACAS2001. Springer LNCS 2031.