Tilbage til artikeldetaljer Specification and Verification of Networks in a Petri Net based Language Download Download PDF