A description of the analysis features is found in: Starke, P.H.: “Validation of Petri Net models by Petri-Net-Machine.” in: Proc. of the 5th IFAC/IFIP/IMACS/IFORS Conf.; Oxford, England; April 1986.Google Scholar