In: Systeme: Analyse - Modellierug - Simulation, Vol. 5, No. 3, pages 253-261. 1988.
Abstract: `Petri-Net-Machine' is a software tool for distributed or concurrent microprocessor system design based on Petri nets. The tool offers a full set of analysis procedures which enable the designer to verify all the important properties of his Petri net models. An overview of the functionality of the tool is given and two nets are analysed.