In: Proceedings of 4th International Working Conference on Dynamic Modelling and Information Systems, Noordwijkerhout, The Netherlands, pages 31-52. Delft University Press, 1994.
Abstract: There have been significant recent developments in high level specification schemes for modelling information systems using formalisms based on petri nets. In particular, the application of object-based design principles have produced high level petri nets which can be used to model large complex systems. This paper discusses a new language and modelling scheme, known as LOOPN++, which fully integrates the concepts of object-oriented language design and model building into a coloured petri net system. The completeness and clarity of LOOPN++ are discussed with respect to its use in the dynamic modelling of information systems