Publications
] Filters: First Letter Of Last Name is E [Clear All Filters]
[ICReSiEzTe04] .
2004. Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
[IPEzRe02] .
2002. A Deadlock Avoidance Approach for Non Sequential Resource Allocation Systems.
[ICEzCoSi93] .
1993. A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets. Advances in Petri Nets. 674:126-147.
[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.
[EzRe-04] .
2004. A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans. 34
[TrEz-03] .
2003. Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
[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.
[TricasEzpeletaETFA99] .
1999. A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
[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.
[TricasEzpeleta97] .
2000. A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
[RP-90-04] .
1990. The lift example.
[RP-90-05] .
1990. Flexible manufacturing system.
[RP-91-03] .
1991. Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
[RP-91-10] .
1991. Petri Nets as a specification language for manufacturing systems.
[RP-91-34] .
1991. A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. :145-164.
[RP-92-09] .
1992. Formal specification and validation in production plants. :64-73.
[RP-92-33] .
1992. Petri Nets as a specification language for manufacturing systems. :427-436.
[RP-92-34] .
1992. A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
[RP-93-07] .
1993. Synthesis of live models for a class of FMS. :557-563.
[RP-93-21] .
1993. A distributed algorithm for ressource management. :15-26.
[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.
