Publications
Filters: Author is J. Ezpeleta [Clear All Filters]
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
.
2004.
[ICEzCoSi93] 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.
.
1993.
.
2002.
[EzRe-04] A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans. 34
.
2004.
[TrEz-03] Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
.
2003.
[TricasEzpeletaETFA99] A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources.. :1047-1056.
.
1999.
[TricasEzpeleta97] A Partial Approach to the Problem of Deadlocks in Processes with Resour ces. :135-150.
.
2000.
[RP-90-04] The lift example.
.
1990.
[RP-90-05] Flexible manufacturing system.
.
1990.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
.
1991.
[RP-91-34] A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. :145-164.
.
1991.
[RP-92-09] Formal specification and validation in production plants. :64-73.
.
1992.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.
[RP-92-34] A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
.
1992.
[RP-93-07] Synthesis of live models for a class of FMS. :557-563.
.
1993.
[RP-93-21] A distributed algorithm for ressource management. :15-26.
.
1993.
[RP-93-38] A distributed algorithm for resource management. :61-72.
.
1993.
.
1999.
.
2003.
[EzVa-03] A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
.
2003.
[EzGP-03] COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
.
2003.
[EzNB-01] Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
.
2001.
.
1998.
[907] Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
.
2000.