Publications

Export 4 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Keyword is Petri nets  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
[1317] Rovetto, C, Cano E, Colom JM.  2010.  Deadlock Analysis in Minimal Adaptive Routing Algorithms using Petri Nets. IEEE International Conference on Systems, Man, and Cybernetics (SMC’10). :2619-2626. Abstract
[1275] Rovetto, C, Cano E, Colom JM.  2010.  Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. :125-140.
O
[1540] Clavel, D, Mahulea C, Silva M.  2016.  On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
Q
[PMMG-VIDAS10] Perez-Palacin, D, Merseguer J, Mirandola R, Grassi V.  2010.  QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.