Systems and software engineering. High-level Petri nets. Concepts, definitions and graphical notation Part 1, (3rd September 2019)