Detail publikace

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

KŘENA Bohuslav, VOJNAR Tomáš a ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, s. 6.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Klíčová slova

Paralelní systémy, diskrétní události, formální metody, objektové modelovací techniky, paralelismus, Petriho sítě, analýza systémů.

Abstrakt

V článku je popsána integrace typového analyzátoru s generátorem stavových prostorů objektově orientovaných Petriho sítí, což je (syntakticky) slabě typovaný modelovací jazyk spojený se systémem PNtalk. Jsou zde popsány základní principy objektově orientovaných Petriho sítí, generování jejich stavových prostorů a jejich typová analýza (tj. způsob odvození typů značek, které se mohou dostat do jednotlivých míst modelů vytvořených v jazyce PNtalk). V závěru jsou porovnány výhody a nevýhody společné implementace obou nástrojů.

Rok
2002
Strany
6
Sborník
Brazilian Petri Net Meeting
Konference
Brazilian Petri Net Meeting, Natal, BR
Místo
Natal, BR
BibTeX
@INPROCEEDINGS{FITPUB6978,
   author = "Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar and Milan \v{C}e\v{s}ka",
   title = "Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets",
   pages = 6,
   booktitle = "Brazilian Petri Net Meeting",
   year = 2002,
   location = "Natal, BR",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6978"
}
Nahoru