Detail publikačního výsledku

Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets

KŘENA, B.; VOJNAR, T.; ČEŠKA, M.

Originální název

Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets

Anglický název

Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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.

Klíčová slova v angličtině

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

04.09.2002

Místo

Natal

Kniha

Brazilian Petri Net Meeting

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"
}