The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets …