Publications
] Filters: Author is J.M. Colom [Clear All Filters]
[262] .
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.
[907] .
2000. Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
[908] .
1998. Optimal Control of Discrete Event Systems. International Workshop on Discrete Event Systems, WODES’98. :88-93.
[910] .
2002. A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.
[911] .
2000. New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
[912] .
2000. An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
[915] .
1999. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.
[917] .
1998. A Structural Approach to the Problem of Deadlock Prevention in Processes with Resources. International Workshop on Discrete Event Systems, WODES’98. :273-278.
[1027] .
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.
[1029] .
1991. Petri Net Based Analysis of VHDL Programs. Second European Conference on VHDL Methods (EURO-VHDL'91). :1-10.
[1030] .
1991. Petri Net Based Analysis of VHDL Programs. Segunda Reunión sobre Paralelismo. :115-127.
[1050] .
1992. Petri net based Modelling, Analysis and Simulation of Pipelined Architectures. Parallel and Distributed Computing in Engineering Systems. :35-40.
[1051] .
1993. VHDL Through the Looking Glass. VHDL-Forum for CAD in Europe. :58-68.
[1058] .
1993. Analysis Tools Applied to VHDL. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):597-604.
[1059] .
1993. Toward a Formal Semantics of IEEE Std. VHDL 1076. Euro-DAC’93 European Design Automation Conference with Euro-VHDL'93. :526-531.
[1061] .
1993. Synthesis of Live High Level Models for a Class of FMS. 1993, IEEE International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93). 1:589-594.
[1062] .
1993. A Framework for Automated Static Analysis of VHDL. First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA'93). :71-75.
[1063] .
1993. A Petri net based deadlock prevention policy for flexible manufacturing systems. III Jornadas de Concurrencia. :199-233.
[1064] .
1993. A Petri Net Approach for the Analysis of VHDL Descriptions. Correct Hardware Design and Verification Methods. :15-26.
[1068] .
1994. VHDL: A Discrete Event Simulation Hardware Description Language. 1994 International Conference on Simulation and Hardware Description Languages (SHDL'94). :128-134.
[1069] .
1994. Implementation of Weighted Place/Transition Nets based on Linear Enabling Functions. Application and Theory of Petri Nets 1994. :99-118.
[1071] .
1995. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11(2):173-184.
[1074] .
1995. A Colored Petri Net Model of VHDL. Formal Methods in System Design. 7(1/2):101-123.
[1076] .
1995. A Boolean Approach to the State Machine Decomposition of Petri Nets with OBDDs. 1995 IEEE International Conference on Systems, Man and Cybernetics. 4:3451-3456.
