Referências: |
1. Jensen, K., Kristensen, L. M. Coloured Petri Nets, Modelling and Validation of Concurrent Systems. Springer-Verlag, 2009.
2. Katoen, J. P., Larsen, K . G. Principles of Model Checking. The MIT Press, 2008.
3. Clarke, E. M., Grumberg, O., Peled, D. A. Model Checking. The MIT Press, 1999.
4. Girault, C., Valk, R. (Orgs.). Petri Nets for Systems Engineering, A Guide to Modeling, Verification, and Applications. Springer, 2003.
5. Murata, T. Petri net: properties, analysis and application. Proceedings of the IEEE 77(4):541-580, 1989.
6. Ratzzer, A. V. et al. CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets, 2003.
|