Detail publikace

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

KŘENA, B.; VOJNAR, T.; ČEŠKA, M. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. Brazilian Petri Net Meeting. Natal: 2002. p. 0-0.
Název česky
Integrace typového analyzátoru s generátorem stavových prostorů objektově orientovaných Petriho sítí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Češka Milan, prof. RNDr., CSc.
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
Místo
Natal
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"
}
Nahoru