Publications
Filters: First Letter Of Last Name is E [Clear All Filters]
[RP-89-06] Circuits, handles, bridges and nets. :134-153.
.
1989.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.
.
1989.
[RP-90-04] The lift example.
.
1990.
[RP-90-05] Flexible manufacturing system.
.
1990.
.
1990.
[RP-90-09] Modular Synthesis of Free Choice Nets.
.
1990.
.
1990.
[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.
[RP-90-02] Top-down synthesis of live & bounded Free Choice Nets. :63-83.
.
1990.
[RP-91-29] Circuits, handles, bridges and nets. 483:210-242.
.
1991.
[RP-91-30] Top-down synthesis of live and bounded free choice nets. 524:118-139.
.
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.
[ICEsSi91b] Top-Down Synthesis of Live and Bounded Free Choice Nets. Advances in Petri Nets 91. 524:118-139.
.
1991.
[ICEsSi90a] Circuits, Handles, Bridges and Nets. Advances in Petri Nets 90. 483:210-242.
.
1991.
[ICEsSi90b] On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
.
1991.
[RP-91-18] On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
.
1991.
[RP-91-03] Knowledge based manufacturing modelling and analysis by integrating Petri nets. :660-668.
.
1991.
.
1991.
[C-DEMON-91] Performance Analysis of Live and Bounded Free Choice Systems. Studien. 198:38-48.
.
1991.
[RP-92-31] A polynomial-time algorithm to decide liveness of bounded free choice nets. Theoretical Computer Science. :185-205.
.
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-92-09] Formal specification and validation in production plants. :64-73.
.
1992.
[RP-93-38] A distributed algorithm for resource management. :61-72.
.
1993.