Publications
[RP-90-08] Minimal Deadlocks in Free Choice nets.
.
1990.
[CS-DS-90] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
.
1990.
[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.
[RP-90-11] Petri Nets and Flexible Manufacturing. 424:374-417.
.
1990.
[RP-90-14] Petri-Net Based Fairness Concepts for Discrete Event Systems. :549-557.
.
1990.
[RP-89-07] A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
.
1989.
[RP-89-02] Fair control of discrete event systems via Petri nets. :19-23.
.
1989.
[RP-89-05] Linear invariants in commutative high level nets. :96-114.
.
1989.
[278] Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. Third IEEE International Workshop on Petri Nets and Performance Models (PNPM'89). :200-209.
.
1989.
[CCS-Kyoto-89] Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
.
1989.
[CS-Lyon-89] Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
.
1989.
[RP-89-08] Logical controllers. :157-166bis.
.
1989.
[RP-89-11] Multisensor Object Recognition using an Hypothesis-Verification Scheme. :265-272.
.
1989.
[1005] Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
.
1989.
[1006] Convex Geometry and Semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. 10th International Conference on Application and Theory of Petri Nets. :74-95.
.
1989.
[1348] Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
.
1989.
[RP-89-01] The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
.
1989.
[RP-89-13] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
.
1989.
[RP-89-18] Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems. :141-144.
.
1989.
[ICSiVa89] Petri Nets and Flexible Manufacturing. :374-417.
.
1989.
[RP-89-06] Circuits, handles, bridges and nets. :134-153.
.
1989.