In: Murray-Smith, D.; et al.: ESC 89. Proceedings of the 3rd European Simulation Congress, 1989, Edinburgh, UK, pages 502-507. Ghent, Belgium: SCS Eur., 1989.
Abstract: The paper describes a software package for editing and analysing nonprimitive coloured Petri nets. Editor functions permit the net structure to be defined and changed quickly and easily. Net analysis includes the construction of the reachability tree for the given initial marking, detection of the w-markings, dead locks, etc. An example illustrates the usage and the usefulness of the software.
Keywords: software package (for) editing (and) analysing coloured nets; reachability tree; deadlocks.