Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
KŘENA, B. VOJNAR, T. ČEŠKA, M.
Originální název
Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
Concurrent systems, Discrete-event systems, Formal methods, Object modelling techniques, Parallelism, Petri nets, System analysis.
Autoři
KŘENA, B.; VOJNAR, T.; ČEŠKA, M.
Vydáno
4. 9. 2002
Místo
Natal
Strany počet
6
URL
http://www.fit.vutbr.cz/~krena/prace/bpnm02.ps
BibTex
@inproceedings{BUT10313, author="Bohuslav {Křena} and Tomáš {Vojnar} and Milan {Češka}", title="Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets", booktitle="Brazilian Petri Net Meeting", year="2002", pages="6", address="Natal", url="http://www.fit.vutbr.cz/~krena/prace/bpnm02.ps" }