Publications
] Filters: Author is J. Esparza [Clear All Filters]
[ICEsSi90a] .
1991. Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
[RP-89-06] .
1989. Circuits, handles, bridges and nets. :134-153.
[RP-91-29] .
1991. Circuits, handles, bridges and nets. 483:210-242.
[RP-91-31] .
1991. Compositional synthesis of live and bounded free-choice nets.
[1360] .
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.
[RP-90-09] .
1990. Modular Synthesis of Free Choice Nets.
[RP-90-07] .
1990. On the analysis and synthesis of free choice nets.
[ICEsSi90b] .
1991. On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
[RP-91-18] .
1991. On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
[C-DEMON-91] .
1991. Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
[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.
[RP-90-02] .
1990. Top-down synthesis of live & bounded Free Choice Nets. :63-83.
[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.
