Journal article

 
Křena, B.: Object-oriented Petri Nets and their Application and Type Analysis, In: Information Technologies and Control, Vol. 1, No. 1, 2003, Sofia, BG, p. 27-31, ISSN 1312-2622
Publication language:english
Original title:Object-oriented Petri Nets and their Application and Type Analysis
Title (cs):Objektově orientované Petriho sítě, jejich použítí a typová analýza
Pages:27-31
Book:Information Technologies and Control
Place:Sofia, BG
Year:2003
Journal:Information Technologies and Control, Vol. 1, No. 1, Sofia, BG
ISSN:1312-2622
Keywords
Object-Oriented Petri Nets, Application, Modelling, Type Analysis
Annotation
Object-oriented Petri nets (OOPNs) are a formalism based on Petri nets suitable for modelling, prototyping, and verifying concurrent systems. In this article, we introduce OOPNs and research associated to them. At first, we state the motivation for establishing OOPNs by comparing OOPNs with classic Petri net. Subsequently, we describe formalism OOPNs in reasonable details and illustrate it on a simple model of exchange office. Then, we deal with formal analysis issues in the context of OOPNs, especially with the type analysis problem. Some notes to integrated analysis tool implementation are briefly discussed at the end of the article.
BibTeX:
@ARTICLE{
   author = {Bohuslav Křena},
   title = {Object-oriented Petri Nets and their Application and Type
	Analysis},
   pages = {27--31},
   booktitle = {Information Technologies and Control},
   journal = {Information Technologies and Control},
   volume = {1},
   number = {1},
   year = {2003},
   location = {Sofia, BG},
   ISSN = {1312-2622},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7289}
}