Australian/New Zealand Standard™Systems and software engineering — High-level Petri netsPart 1: Concepts, definition...