Type Analysis in Object-Oriented Petri Nets
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F01%3APU28661" target="_blank" >RIV/00216305:26220/01:PU28661 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Type Analysis in Object-Oriented Petri Nets
Popis výsledku v původním jazyce
The paper considers the problem of an automatic type analysis in the context of the object-oriented Petri nets (OOPNs) associated with the PNtalk language. We describe the skeleton of one of the possible approaches to deriving the types of tokens that may get into particular places of OOPN-based models. We briefly discuss advantages and disadvantages and also possible alternatives of the described approach.
Název v anglickém jazyce
Type Analysis in Object-Oriented Petri Nets
Popis výsledku anglicky
The paper considers the problem of an automatic type analysis in the context of the object-oriented Petri nets (OOPNs) associated with the PNtalk language. We describe the skeleton of one of the possible approaches to deriving the types of tokens that may get into particular places of OOPN-based models. We briefly discuss advantages and disadvantages and also possible alternatives of the described approach.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F00%2F1017" target="_blank" >GA102/00/1017: Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of 4th International Conference on Information System Modelling -- ISM'01
ISBN
80-85988-51-8
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
173-180
Název nakladatele
Neuveden
Místo vydání
Hradec nad Moravicí, Czech Republic
Místo konání akce
Hradec nad Moravicí, Czech Republic
Datum konání akce
9. 5. 2001
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—