Publications
[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.
[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.
.
1989.
[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-90-08] Minimal Deadlocks in Free Choice nets.
.
1990.
[276] Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
.
1990.
[1358] Improving the linearly based characterization of P/T nets. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
.
1990.
[1359] Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 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.
[271] On liveness analysis through linear algebraic techniques. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
.
1990.
[Campos-thesis-90] Performance Bounds for Synchronized Queueing Networks.
.
1990.
[RP-90-02] Top-down synthesis of live & bounded Free Choice Nets. :63-83.
.
1990.
.
1990.
[RP-90-12] A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
.
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.