Return to Article Details A Petri Net Definition of a System Description Language Download Download PDF