View of More Efficient On-the-Fly Verification Methods of Colored Petri Nets

Return to Article Details More Efficient On-the-Fly Verification Methods of Colored Petri Nets Download Download PDF