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.