PNtalk - A computerized tool for object oriented petri nets modelling

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

Volumn 1333, Issue , 1997, Pages 591-610

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

^a BRNO UNIVERSITY OF TECHNOLOGY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SPECIFICATIONS; SYSTEM THEORY;

COMPUTERIZED TOOLS; CONCURRENT SYSTEMS; DYNAMIC BEHAVIOURS; OBJECT ORIENTED MODELLING; OBJECT-ORIENTED PETRI NET; PRACTICAL USE; SYSTEM SPECIFICATION;

PETRI NETS;

EID: 84958780169     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0025078     Document Type: Conference Paper

References (14)

1. Huber, P., Jensen, K., Shapiro, R.M.: tIierarchies in Cotoured Petri Nets. In: Advances in Petri Nets 1990, Lecture Notes in Computer Science 483, Springer-Verlag, 1991.
2. Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Volume 1. Springer-Verlag, 1992.
3. Lakos, C.A., Keen, C.D.: LOOPN++: A New Language for Object-Oriented Petri Nets. Technical Report R94-4, University of Tasmania, 1994.
4. Sibertin-Blanc, C.: Cooperative Nets. In: Application and Theory of Petri Nets 1994, Springer-Verlag, 1994.
5. Ghezzi, C., Morasca, S., Pezzè, M.: Timing Analysis of Time Basic Nets. The Journal of Systems and Software, 1994.
6. Jensen, K.: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Volume 2. Springer-Verlag, 1995.
7. Marsan, M.A., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, 1995.
8. Schöf, S., Sonnenschein, M., Wieting, R.: High-level Modeling with THORNs. In: Proceedings of the 14th International Congress on Cybernetics, Namur, Belgium, 1995.
9. Janoušek, V.: PNtalk: Object Orientation in Petri Nets. In: Proceedings of the European Simulation Multiconference ESM'95, 1995, Prague Technical University, Prague, Czech Republic, 1995.
10. Bowden, F.D.J.: Modelling Time in Petri Nets. In: Proceedings of the Second Anstralia-Japan Workshop on Stochastic Models, Gold Coast, 1996.
11. Češka, M., Janoušek, V.: Object Orientation in Petri Nets. In: Object Oriented Modelling and Simulation. Proceedings of the 22nd Conference of the ASU, University Blaise Pascal, Clermont-Ferrand, France, 1996.
12. Janoušek, V.: Objektově orientované Petriho sítě - formální základ jazyka PNtalk. Technická zpráva, ÚIVT FEI VUT v Brně, 1997. (in czech)
13. Češka, M., Janoušek, V.: A Formal Madel for Object Oriented Petri Nets Modeling. In: Advances in Systems Science and Applications, ASSA Special Issue, International Institute for General Systems Studies, Southwest Texas State University, San Marcos, Texas, USA, 1997.
14. Esser, R.: An Object Oriented Language]or Emdedded System Design. In: Proceedings of 8th International Workshop on Software Technology and Engineering Practice, London, 1997.