A formal, graphical, executable technique for the specification and analysis of concurrent, discrete-event dynamic systems; a technique undergoing standardisation...
Petri Nets 2019 / ACSD 2019 The 40th International Conference on Application and Theory of Petri Nets and Concurrency and the 19th International Conference on Application of Concurrency to System Design... is one of the research units in the..