Publications
]
[1345] .
1986. Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
[1346] .
1986. On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
[1347] .
1987. On the structural computation of synchronic invariants in P/T nets. I Jornadas de Concurrencia.
[1356] .
1992. Structure Theory of Non Free Choice Systems. Final Report of the ESPRIT Basis Research Action DEMON (Design Methods based on Nets) Covering the Period 18 June 1989 to 18 March 1992. :130-134.
[1358] .
1990. 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.
[1359] .
1990. 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.
[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.
[1362] .
1993. Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. International Conference on Decentralized and Distributed Systems, ICDDS'93.
[1363] .
1993. On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
[1364] .
1993. Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
[1388] .
2011. Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
[1389] .
2011. Decentralized Control of Large Scale Systems Modeled with Continuous Marked Graphs. 18th IFAC World Congress.
[1434] .
2012. Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
[1435] .
2012. Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.
[1529] .
2014. The bound Reaching Problem on the Fluidization of Timed Petri Nets. 12th Int. Workshop on Discrete Event Systems.
[1442] .
2011. On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
[1445] .
2011. Fluidization and Fluid views of Discrete Event Systems. 15th Int. Conf. on System Theory, Control and Computing.
[1448] .
2012. Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems (WODES'12). :47-53.
[1450] .
2011. On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
[1452] .
2012. Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
[1453] .
2013. Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
[1464] .
2013. Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
[1465] .
2013. Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
[1490] .
2013. Half a century after Carl Adam Petri's PhD thesis: a perspective on the field. Annual Reviews in Control. 37(2):191-219.
[1491] .
2013. Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.
