Analysis and Verification Queries over Object-Oriented Petri Nets

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F01%3APU28634" target="_blank" >RIV/00216305:26230/01:PU28634 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz" target="_blank" >http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-eurocast2001.ps.gz</a>
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Analysis and Verification Queries over Object-Oriented Petri Nets
Popis výsledku v původním jazyce
In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case whenthe systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool.
Název v anglickém jazyce
Analysis and Verification Queries over Object-Oriented Petri Nets
Popis výsledku anglicky
In literature there have been proposed many different ways of asking formal analysis or verification questions to be answered over state spaces of various kinds of models. In this paper, we discuss how these methods can be accommodated for the case whenthe systems being examined are modelled by object-oriented Petri nets (OOPNs). We deal with the OOPNs associated with the PNtalk language and tool.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2001
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)