Systems and software engineering. High-level Petri nets - Concepts, definitions and graphical notation