Return to Article Details TOWARDS Z SPECIFICATION OF PLACE TRANSITION NETS Download Download PDF