Publications
]
[IPVaRaReSi08] .
2008. On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
[IPVaReSi08] .
2008. Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
[1225] .
2009. Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
[1226] .
2009. Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
[1227] .
2009. Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
[1234] .
2009. Continuous and Hybrid Petri Nets: The GISED perspective.
[1250] .
2009. Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[1252] .
2009. Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
[1253] .
2009. An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. 3rd IFAC Conference on Analysis and Design of Hybrid Systems (2009).
[1254] .
2009. New results for fault detection of untimed continuous Petri nets. 48th IEEE Conference on Decision and Control.
[1255] .
2010. A Control Method for Timed Distributed Continuous Petri nets. ACC'10: Proceedings of the 2010 conference on American Control Conference.
[1257] .
2009. Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
[1258] .
2010. Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
[1267] .
2010. Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
[1268] .
2010. Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
[1278] .
2010. An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[1279] .
2010. Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[1280] .
2010. An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1281] .
2010. Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
[1282] .
2010. Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.
[1284] .
2010. On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.
[SiTe-SMC98] .
1998. DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
[1288] .
2010. Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
[1296] .
2011. On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
[1315] .
2011. Modular/Coordinated control for TCPNs. IFAC World Congress.
