Export 663 results:
Sort by: Author Title [ Type (Asc)] Year
Book Chapter
[1330] Colom, JM.  2003.  The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
[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.
[1407] Requeno, JI, Blanco R, de Miguel G, Colom JM.  2012.  Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1467] Requeno, JI, Colom JM.  2013.  Speeding Up Phylogenetic Model Checking. 7th International Conference on Practical Applications of Computational Biology and Bioinformatics. 222:119-126. Abstract
[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.
[1482] López-Grao, JP, Colom JM, Tricas F.  2014.  Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
[1334] Colom, JM, Teruel E, Silva M, Haddad S.  2002.  Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
[1338] Colom, JM, Haddad S, Silva M, Teruel E.  1998.  Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
[1433] López-Grao, JP, Colom JM.  2013.  Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:257-278. Abstract
[907] García-Vallés, F, Tricas F, Ezpeleta J, Colom JM.  2000.  Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
[1356] Silva, M, Teruel E, Colom JM.  1992.  Structure Theory of Non Free Choice Systems. Final Report of the ESPRIT Basis Research Action DEMON (Design Methods based on Nets) Covering the Period 18 June 1989 to 18 March 1992. :130-134.
[ICEsSi91b] Esparza, J, Silva M.  1991.  Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[1336] Colom, JM.  2001.  Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
Conference Paper
[RP-85-14] Martínez, J, Colom JM.  1985.  .
[1552] Kloetzer, M, Mahulea C.  2015.  Accomplish Multi-Robot Tasks Via Petri Net Models. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
[1400] de-Miguel-Casado, G, García-Chamizo JM, Signes-Pont MT.  2007.  Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
[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.
[AESETPBI] Mayordomo, E.  1992.  Almost every set in exponential time is P-bi-immune. 629:392-400.
[975] Martínez, J, Colom JM, Silva M.  1985.  Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
[1443] Julvez, J, Vazquez CR, Mahulea C.  2011.  Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[PMM-ICPE12] Perez-Palacin, D, Merseguer J, Mirandola R.  2012.  Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[PJCS-96b] Pérez-Jiménez, CJ, Campos J, Silva M.  1996.  Approximate Throughput Computation of a Class of Cooperating Sequential Processes. :382-389.