Conference paper

KŘENA Bohuslav, VOJNAR Tomáš and ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, p. 6.
Publication language:english
Original title:Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets
Title (cs):Integrace typového analyzátoru s generátorem stavových prostorů objektově orientovaných Petriho sítí
Pages:6
Proceedings:Brazilian Petri Net Meeting
Conference:Brazilian Petri Net Meeting
Place:Natal, BR
Year:2002
URL:http://www.fit.vutbr.cz/~krena/prace/bpnm02.ps [PS]
Keywords
Concurrent systems, Discrete-event systems, Formal methods, Object modelling techniques, Parallelism, Petri nets, System analysis.
Annotation
The paper deals with the problem of conjunct implementation of type analyzer and state space generator in the context of the (syntactically) weakly typed object-oriented Petri nets associated with the PNtalk language. The main principles of object-oriented Petri nets, their state spaces generation, and type analysis (i.e. deriving the types of tokens that may get into particular places of PNtalk-based models) are introduced here. The paper discusses advantages and disadvantages of the conjunct tool implementation.
BibTeX:
@INPROCEEDINGS{
   author = {Bohuslav K{\v{r}}ena and Tom{\'{a}}{\v{s}} Vojnar and Milan
	{\v{C}}e{\v{s}}ka},
   title = {Integrated Type Analyzer and State Space Generator of
	Object-Oriented Petri Nets},
   pages = {6},
   booktitle = {Brazilian Petri Net Meeting},
   year = {2002},
   location = {Natal, BR},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6978}
}

Your IPv4 address: 54.81.73.2
Switch to IPv6 connection

DNSSEC [dnssec]