Publications
[RP-93-57] Introducing Petri Nets.
.
1993.
[1070] Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994 IEEE International Conference on System, Man and Cybernetics. 2:1671-1676.
.
1994.
[RP-96-12] A Throughtput Approximation Algorithm for Decision Free Processes. :161-178.
.
1996.
[RP-97-06] Throughput Approximation of Decision Free Processes Using Decomposition. :174-182.
.
1997.
[ARSiRe04] On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
.
2004.
[IPMaReSi05] Optimal Observability for Continuous Petri Nets. :CDROM.
.
2005.
.
2005.
.
2004.
.
2005.
[IPMoHaSeSi01] Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
.
2001.
[ARMoHaSeSi05] Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
.
2005.
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.
.
2008.
.
2008.
[ARMARARESI08] Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
.
2008.
[ARMAGIRESESI08] Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
.
2008.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.
[IPVaMaMiReSi08] Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
.
2008.
[IPVaRaReSi08] On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
.
2008.
[IPVaReSi08] Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
.
2008.
[1225] Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
.
2009.
[1226] Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2009.
[1227] Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
.
2009.
.
2009.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[1252] Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
.
2009.