Petri nets are a long time established modeling concept for modelling and simulation of discrete-event systems. This thesis concerns the development of tools to perform analysis of Petri nets that contains places that are ...