José-Manuel Colom

Phone: 
(+34) 976762351
Email: 
jmatunizar [dot] es
Position: 
Ph.D. Member

Publications

1993
[1364] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
1992
[258] Campos, J, Chiola G, Colom JM, Silva M.  1992.  Properties and Performance Bounds for Timed Marked Graphs. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 39(5):386-401.
0 icon
92_CCCS_CAS.ps
[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.
[259] Campos, J, Colom JM, Silva M.  1992.  Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
0 icon
92_CCS_RFMS.ps
[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.
0 icon
91_SCC_Mita.ps
[337] Teruel, E, Chrzastowski P, Colom JM, Silva M.  1992.  On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
[1050] Briz, JL, Colom JM, Viñals V.  1992.  Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
1991
[1029] Olcoz, S, Colom JM.  1991.  Petri Net Based Analysis of VHDL Programs. Second European Conference on VHDL Methods (EURO-VHDL'91). :1-10.
[1030] Olcoz, S, Colom JM.  1991.  Petri Net Based Analysis of VHDL Programs. Segunda Reunión sobre Paralelismo. :115-127.
[262] Campos, J, Colom JM.  1991.  A Reachable Throughput Upper Bound for Live and Safe Free Choice Nets. 12th International Conference on Application and Theory of Petri Nets. :237-256.
0 icon
91_CC_Gjern.ps
[1027] Briz, JL, Colom JM, Viñals V.  1991.  Petri net Based Modelling, Analysis and Simulation of Pipelined Architectures. P.D. COM'91 IMACS-IFAC International Symposium on Parallel and Distributed Computing in Engineering Systems. :37-38.
[263] Campos, J, Colom JM, Silva M.  1991.  Improving Throughput Upper Bounds for Net Based Models. IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems. 1:573-582.
[672] Colom, JM, Silva M.  1991.  Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
[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.
1990
[271] Colom, JM, Campos J, Silva M.  1990.  On liveness analysis through linear algebraic techniques. 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.
[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.
[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.
[276] Campos, J, Colom JM, Silva M.  1990.  Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
0 icon
90_CCS_Rensselaer.ps
1989
[278] Campos, J, Chiola G, Colom JM, Silva M.  1989.  Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
0 icon
89_CCCS_Kyoto.ps
[1005] Colom, JM, Silva M.  1989.  Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
[1006] Colom, JM, Silva M.  1989.  Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 10th International Conference on Application and Theory of Petri Nets. :74-95.
[1348] Colom, JM.  1989.  Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
1988
[1001] Leu, D, Silva M, Colom JM, Murata T.  1988.  Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[365] Silva, M, Colom JM.  1988.  On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.