Publications

Export 133 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is J.M. Colom  [Clear All Filters]
Book
Book Chapter
[239] Campos, J, Colom JM, Jungnitz H, Silva M.  1995.  Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
[1083] Ezpeleta, J, García-Vallés F, Colom JM.  1998.  A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[1408] Requeno, JI, Colom JM.  2012.  Compact representation of biological sequences using set decision diagrams. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[673] Colom, JM, Silva M.  1991.  Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. Advances in Petri Nets 1990. :79-112.
[1359] Silva, M, Colom JM.  1990.  Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[1360] Colom, JM, Esparza J, Martínez J, Silva M.  1990.  A first collection of challenging problems: A Flexible Manufacturing System. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 6: Case Studies. Deliverables Covering the Period June 1989 to June 1990.
[243] Teruel, E, Silva M, Colom JM, Campos J.  1995.  Functional and Performance Analysis of Cooperating Sequential Processes. Quantitative Methods in Parallel Systems. :52-65.
[248] Teruel, E, Silva M, Colom JM, Campos J.  1994.  Functional and Performance Analysis of Cooperating Sequential Processes. Performance Evaluation of parallel and distributed systems. Solution Methods. :234-251.
[249] Teruel, E, Silva M, Colom JM, Campos J.  1994.  Functional and Performance Analysis of Cooperating Sequential Processes. 11th International Conference on Analysis and Optimization Systems. Discrete Event Systems. :169-175.
[246] Campos, J, Colom JM, Jungnitz H, Silva M.  1994.  A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. Performance Evaluation of parallel and distributed systems. Solution Methods. :265-283.
[1069] Briz, JL, Colom JM.  1994.  Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
[672] Colom, JM, Silva M.  1991.  Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
[1358] Colom, JM, Silva M.  1990.  Improving the linearly based characterization of P/T nets. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
[259] Campos, J, Colom JM, Silva M.  1992.  Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
[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.
[912] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2000.  An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
[883] Silva, M, Teruel E, Colom JM.  1998.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. :309-373.
[269] Silva, M, Colom JM, Campos J.  1992.  Linear Algebraic Techniques for the Analysis of Petri Nets. Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II. :35-42.
[1341] Colom, JM, Teruel E, Silva M.  1998.  Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
[200] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
[911] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2000.  New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.