View of Specification and Verification of Networks in a Petri Net based Language

Return to Article Details Specification and Verification of Networks in a Petri Net based Language Download Download PDF