For the most recent entries see the Petri Nets Newsletter.

Type Analysis in Object-Oriented Petri Nets.

Krena, B.; Vojnar, T.

In: Proceedings of 4th International Conference on Information System Modelling (ISM'01), MARQ Ostrava, Hradec nad Moravicí, Czech Republic,, pages 173-180. 2001.

Abstract: 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 to the described approach.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography