Return to Article Details Petri Nets and Semantics of System Descriptions Download Download PDF