Return to Article Details A Linear Specification Language for Petri Nets Download Download PDF