Return to Article Details Digital systems synthesis from Petri net descriptions Download Download PDF