Publication Details

PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Lecture Notes in Computer Science, vol. 1333, 1997, pp. 591-610. ISBN 3-540-63811-3. ISSN 0302-9743.
Type
book chapter
Language
english
Authors
Češka Milan, Prof. RNDr., CSc. (DCSE FEECS BUT)
Janoušek Vladimír, Ing., Ph.D. (DCSE FEECS BUT)
Vojnar Tomáš, Ing., Ph.D. (DCSE FEECS BUT)
URL
Keywords

Petri nets, object orientation, visual tools, simulation modelling and prototyping

Annotation

The paper deals with a new formalism and a tool for concurrent systems modelling and prototyping. This formalism, Object Oriented Petri Net (OOPN), combines the descriptive power of Petri nets with the well known advantages of object oriented modelling techniques. In the paper there are presented the structure of system specifications by means of OOPNs, principles of their dynamic behaviour as well as some basic features of a computerized tool which supports practical use of OOPNs. This tool works with a language called PNtalk which is based on the OOPNs and the language Smalltalk.

Published
1997
Pages
591-610
Journal
Lecture Notes in Computer Science, vol. 1333, ISSN 0302-9743
Book
Computer Aided Systems Theory -- EUROCAST'97
Series
Lecture Notes in Computer Science
ISBN
3-540-63811-3
Publisher
Springer Verlag
Place
Las Palmas de Gran Canaria, Canary Islands, ES
BibTeX 
@INBOOK{FITPUB5591,
   author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar",
   title = "PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling",
   pages = "591--610",
   booktitle = "Computer Aided Systems Theory -- EUROCAST'97",
   series = "Lecture Notes in Computer Science",
   journal = "Lecture Notes in Computer Science",
   volume = 1333,
   year = 1997,
   location = "Las Palmas de Gran Canaria, Canary Islands, ES",
   publisher = "Springer Verlag",
   ISBN = "3-540-63811-3",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5591"
}
Back to top