A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Towards a Characterisation of Finite-State Message-Passing Systems
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Interacting automata for modelling distributed systems
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
On sets of numbers accepted by P/T systems composed by join
Theoretical Computer Science
Jumping Petri Nets. Specific Properties
Fundamenta Informaticae
The right timing: reflections on the modeling and analysis of time
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |