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