Publications

Export 129 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: Author is J.M. Colom  [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 
E
[1079] Ezpeleta, J, Colom JM.  1997.  Automatic Synthesis of Colored Petri Nets for the Control of FMS. IEEE Transactions on Robotics and Automation. 13(3):327-337.
G
[1081] García-Vallés, F, Colom JM.  1997.  Structural Analysis of Signal Transition Graphs.. Workshop Petri Nets in System Engineering (PNSE’97). Modelling, Verification and Validation. :123-134.
E
T
[1088] Tricas, F, Colom JM, Ezpeleta J.  2000.  Some Improvements to the Banker's Algorithm Based on the Process Structure. 2000 IEEE International Conference on Robotics and Automation (ICRA’2000). :2853-2858.
G
R
[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.
L
[1311] López-Grao, JP, Colom JM.  2006.  Lender processes competing for shared resources: Beyond the $S^4PR$ paradigm. 2006 International Conference on Systems, Man and Cybernetics (SMC'06). 4:3052--3059.
[1312] López-Grao, JP, Colom JM.  2006.  Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
[1313] López-Grao, JP, Colom JM.  2010.  The Resource Allocation Problem In Software Applications: A Petri Net Perspective. International Workshop on Petri Nets and Software Engineering PNSE'10,. :7-21.
R
[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
C
[1318] Cano, E, Rovetto C, Colom JM.  2010.  On the Computation of the Minimal Siphons of $S^4PR$ Nets from a Generating Family of Siphons. 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’2010). :paperMF-002879. Abstract
[1319] Cano, E, Rovetto C, Colom JM.  2010.  An Algorithm to Compute the Minimal Siphons in $S^4PR$ Nets. 10th International Workshop on Discrete Event Systems (WODES’2010). :18-23.
B
[1320] Blanco, R, de Miguel G, Requeno JI, Colom JM.  2010.  Temporal Logics for Phylogenetic Analysis via Model Checking. Workshop on Mining and Management of Biological and Health Data – A Satellite Workshop of the 2010 IEEE International Conference on Bioinformatics and Biomedicine (BIBM10). :152-157.
S
[1321] Serna, F, Catalán C, Blesa A, Rams JM, Colom JM.  2011.  Predictive Maintenance Manager design pattern for component based machine tools. IEEE 9th International Conference on Industrial Informatics (INDIN’2011).
R
[1322] Requeno, JI, Blanco R, de Miguel G, Colom JM.  2011.  Phylogenetic Analysis Using an SMV Tool. 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). :167-174.
L
[1323] López-Grao, JP, Colom JM.  2012.  A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. Transactions on Petri Nets and Other Models of Concurrency. V
C
[1328] Colom, JM, Koutny M.  2001.  Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
[1329] Carmona, J, Colom JM, Cortadella J, García-Vallés F.  2006.  Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
[1330] Colom, JM.  2003.  The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
T
[1331] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. 2005 IEEE International Conference on Robotics & Automation (ICRA’05). :272-278.
G
[1332] García-Vallés, F, Colom JM.  2002.  Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[1333] García-Vallés, F, Colom JM.  2003.  Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
C
[1336] Colom, JM.  2001.  Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
T
C
[1339] Colom, JM, Haddad S.  1998.  Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.