MOBY-a tool for high level Petri nets with objects

MOBY (Modellierung von Burosystemen) is a tool which supports modelling and analysis of systems by hierarchical timed high level Petri nets with objects. The tool consists of editor systems for the specification of the net part of a system as well as for the object part, and of a simulation system for the validation of constructed models. The simulator contains a sophisticated conflict resolution component, which allows to reduce the combinatorial complexity of possible behaviours of a model by using specific knowledge about the system. The tool can be used to model office procedures as well as technical processes