Author:
Ungaretti Borges Matheus,Pontes Gustavo Ribeiro,Pilloni Alessandro,Seatzu Carla,Lima II Eduardo Jose
Reference36 articles.
1. Diagnosability enforcement in labeled petri nets using supervisory control;Y Hu;Automatica,2021
2. State-space construction of hybrid petri nets with multiple stochastic firings;J H�ls;ACM Transactions on Modeling and Computer Simulation (TOMACS),2021
3. Coloured petri nets and the invariant-method;K Jensen;Theoretical computer science,1981
4. Coloured Petri Nets