Detail publikace

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

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

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