Detail publikace
Type Analysis in Object-Oriented Petri Nets
Originální název
Type Analysis in Object-Oriented Petri Nets
Anglický název
Type Analysis in Object-Oriented Petri Nets
Jazyk
en
Originální abstrakt
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.
Anglický abstrakt
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.
BibTex
@inproceedings{BUT5442,
author="Bohuslav {Křena} and Tomáš {Vojnar}",
title="Type Analysis in Object-Oriented Petri Nets",
annote="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.",
booktitle="Proceedings of 4th International Conference on Information System Modelling -- ISM'01",
chapter="5442",
year="2001",
month="may",
pages="173--180",
type="conference paper"
}