Publications
] Filters: First Letter Of Last Name is E [Clear All Filters]
[1337] .
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.
[CZEI-98] .
1998. Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. :35-40.
[EzNB-01] .
2001. Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
[ICEsSi91b] .
1991. Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
[RP-91-30] .
1991. Top-down synthesis of live and bounded free choice nets. 524:118-139.
[RP-90-02] .
1990. Top-down synthesis of live & bounded Free Choice Nets. :63-83.
[IPSiTe96b] .
1996. A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
[RP-93-07] .
1993. Synthesis of live models for a class of FMS. :557-563.
[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.
[907] .
2000. Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
[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.
[TrEz-03] .
2003. Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
[1088] .
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.
[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.
[RP-92-34] .
1992. A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
[MoEz-03] .
2003. A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.
[RP-90-10] .
1990. A polynomial-time algorithm to decide liveness of bounded free choice nets.
[RP-92-31] .
1992. A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
[EzVa-03] .
2003. A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
[RP-91-10] .
1991. Petri Nets as a specification language for manufacturing systems.
[RP-92-33] .
1992. Petri Nets as a specification language for manufacturing systems. :427-436.
[ICReSiEzTe04] .
2004. Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
[1331] .
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.
[TricasEzpeletaETFA99] .
1999. A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
[TE-2] .
1999. A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources. :1047-1098.
