Přístupnostní navigace
E-application
Search Search Close
Publication detail
KŘENA, B. VOJNAR, T. ČEŠKA, M.
Original Title
Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
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.
Keywords
Concurrent systems, Discrete-event systems, Formal methods, Object modelling techniques, Parallelism, Petri nets, System analysis.
Authors
KŘENA, B.; VOJNAR, T.; ČEŠKA, M.
Released
4. 9. 2002
Location
Natal
Pages count
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" }