Return to Article Details Practical Use of High-level Petri Nets Download Download PDF