Publications
Filters: First Letter Of Last Name is E [Clear All Filters]
[RP-91-29] Circuits, handles, bridges and nets. 483:210-242.
.
1991.
.
1991.
[RP-91-18] On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
.
1991.
[C-DEMON-91] Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
.
1991.
[ICReSiEzTe04] Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
.
2004.
[RP-92-33] Petri Nets as a specification language for manufacturing systems. :427-436.
.
1992.
[RP-91-30] Top-down synthesis of live and bounded free choice nets. 524:118-139.
.
1991.
[ICEsSi90a] Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
.
1991.
[1083] A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
.
1998.
[1360] 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.
.
1990.
[912] An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
.
2000.
[911] New Methods for Deadlock Prevention and Avoidance in Concurrent Systems. Actas de las VIII Jornadas de Concurrencia. :97-110.
.
2000.
[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.
[ICEsSi90b] On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
.
1991.
[907] Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
.
2000.
[ICEsSi91b] Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
.
1991.
[1337] 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.
.
2005.
[RP-89-06] Circuits, handles, bridges and nets. :134-153.
.
1989.
[1251] Constrained invariant motions for networked multi-agent systems. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
.
2002.
[RP-93-38] A distributed algorithm for resource management. :61-72.
.
1993.
[RP-93-21] A distributed algorithm for ressource management. :15-26.
.
1993.
[RP-90-05] Flexible manufacturing system.
.
1990.
[RP-92-09] Formal specification and validation in production plants. :64-73.
.
1992.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.
.
1989.