Conference paper

KŘENA Bohuslav and VOJNAR Tomáš. Type Analysis in Object-Oriented Petri Nets. In: Proceedings of 4th International Conference on Information System Modelling -- ISM'01. Hradec nad Moravicí, Czech Republic, 2001, pp. 173-180. ISBN 80-85988-51-8.
Publication language:english
Original title:Type Analysis in Object-Oriented Petri Nets
Title (cs):Typová analýza objektově orientovaných Petriho sítí
Pages:173-180
Proceedings:Proceedings of 4th International Conference on Information System Modelling -- ISM'01
Conference:4th International Conference on Information System Modelling - ISM'01
Place:Hradec nad Moravicí, Czech Republic, CZ
Year:2001
ISBN:80-85988-51-8
URL:http://www.fit.vutbr.cz/~krena/prace/ism01.ps [PS]
Keywords
Object-oriented Petri nets, Type analysis, Formal techniques
Annotation
The paper considers the problem of an automatic type analysis in the context of the object-oriented Petri nets (OOPNs) associated with the PNtalk language. We describe the skeleton of one of the possible approaches to deriving the types of tokens that may get into particular places of OOPN-based models. We briefly discuss advantages and disadvantages and also possible alternatives of the described approach.
BibTeX:
@INPROCEEDINGS{
   author = {Bohuslav K{\v{r}}ena and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Type Analysis in Object-Oriented Petri Nets},
   pages = {173--180},
   booktitle = {Proceedings of 4th International Conference on Information
	System Modelling -- ISM'01},
   year = {2001},
   location = {Hradec nad Moravic{\'{i}}, Czech Republic, CZ},
   ISBN = {80-85988-51-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6048}
}

Your IPv4 address: 54.225.47.94
Switch to IPv6 connection

DNSSEC [dnssec]