Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets

Kybernetes

Volumn 31, Issue 9-10, 2002, Pages 1289-1299

  Češka, Milan ^a   Janoušek, Vladimír ^a   Vojnar, Tomáš ^a  

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

Author keywords

Cybernetics; Distributed applications; Object oriented computing; Rapid prototyping

Indexed keywords

COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SOFTWARE PROTOTYPING; SYNCHRONIZATION;

OBJECT-ORIENTED PETRI NETS (OOPN);

CYBERNETICS;

EID: 0036942882     PISSN: 0368492X     EISSN: None     Source Type: Journal    
DOI: 10.1108/03684920210443491     Document Type: Conference Paper

References (12)

1. Bastide, R., Lakos, C.A. and Palanque, P. (1996), "A cooperative Petri Net editor", A Case Study Proposal for the 2nd Workshop on Object-Oriented Programming and models of Concurrency, ICATPN'96, Osaka, http://wrcm.dsi.unimi.it/PetriLab/ws96
2. Češka, M. and Janoušek, V. (1997), "A formal model for Object-Oriented Petri Nets modeling", Advances in Systems Science and Applications, An Official Journal of the International Institute for General Systems Studies Special Issue, pp. 119-24.
3. Češka, M., Janoušek, V. and Vojnar, T. (1997), "PNtalk- a computerized tool for Object-Oriented Petri Nets modelling", Computer Aided Systems Theory - EURO-CAST'97, Springer-Verlag, LNCS, Las Palmas de Gran Canaria, Spain, Vol. 1333, pp. 591-610.
4. Holzmann, G. (1997), "The model checker spin", IEEE Transactions on Software Engineering, Vol. 23 No. 5.
5. Ip, C. and Dill, D. (1996), "Better verification through symmetry", Journal of Formal Methods in System Design, Vol. 9 No. 1/2, pp. 41-76.
6. Janoušek, V. (1995), "PNtalk: object orientation in Petri Nets", Proceedings of European Simulation Multiconference ESM'95. Czech Technical University, Prague, pp. 196-200.
7. Janoušek, V. (1998), "Modelling objects by Petri Nets". PhD thesis, Department of Computer Science and Engineering, FEECS, Brno University of Technology, Czech Republic. (In Czech)
8. Junttila, T. (1999), "Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis", Technical Report HUT-TCS-A57, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Helsinki, Finland.
9. Kočí R. and Vojnar, T. (2001), "A PNtalk-based model of a cooperative editor", Proceedings of MOSIS'01 (Hradec nad Moravicí, Czech Republic) MARQ Ostrava, pp. 165-72.
10. Křena, B. and Vojnar, T. (2001), "Type analysis in Object-Oriented Petri Nets", Proceedings of ISM'01 (Hradec nad Moravicí, Czech Republic), MARQ Ostrava, pp. 173-80.
11. Valmari, A. (1998), "The state explosion problem", in Reisig, W. and Rozenberg, G. (Eds), Lectures on Petri Nets I: Basic Models, Springer-Verlag, LNCS, Vol. 1491, pp. 429-528.
12. Vojnar, T. (2001), "Towards formal analysis and verification over state spaces of Object-Oriented Petri Nets" PhD thesis, Department of Computer Science and Engineering, FEECS, Brno University of Technology, Czech Republic.