Publications

Export 15 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is J. Esparza  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
E
[ICEsSi91b] Esparza, J, Silva M.  1991.  Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
[ICEsSi90a] Esparza, J, Silva M.  1991.  Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
[ICEsSi90b] Esparza, J, Silva M.  1991.  On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
[RP-89-06] Esparza, J, Silva M.  1989.  Circuits, handles, bridges and nets. :134-153.
[RP-90-02] Esparza, J, Silva M.  1990.  Top-down synthesis of live & bounded Free Choice Nets. :63-83.
[RP-90-07] Esparza, J, Silva M.  1990.  On the analysis and synthesis of free choice nets.
[RP-90-09] Esparza, J, Silva M.  1990.  Modular Synthesis of Free Choice Nets.
[RP-90-10] Esparza, J, Silva M.  1990.  A polynomial-time algorithm to decide liveness of bounded free choice nets.
[RP-91-18] Esparza, J, Silva M.  1991.  On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
[RP-91-29] Esparza, J, Silva M.  1991.  Circuits, handles, bridges and nets. 483:210-242.
[RP-91-30] Esparza, J, Silva M.  1991.  Top-down synthesis of live and bounded free choice nets. 524:118-139.
[RP-91-31] Esparza, J, Silva M.  1991.  Compositional synthesis of live and bounded free-choice nets.
[RP-92-31] Esparza, J, Silva M.  1992.  A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
C
[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.