Publication detail

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

LEGÁT, P., VAVERKA, L., VAVERKA, L.

Original Title

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

English Title

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

Type

conference paper

Language

en

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.

English 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.

Released

04.09.2002

Location

Natal

Pages count

6

URL

Documents

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",
  annote="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.",
  booktitle="Brazilian Petri Net Meeting",
  chapter="10313",
  year="2002",
  month="september",
  type="conference paper"
}