Publications
Filters: First Letter Of Title is O [Clear All Filters]
[1507] On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives. Department of Computer Science and Engineering. :173.
.
2013.
[BDM-Tutorial] On derivation of Petri net quantitative models from UML software system specifications.
.
2005.
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.
.
2008.
[1258] Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
.
2010.
[ARSiRe04] On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
.
2004.
[1450] On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
.
2011.
[ARReTeSi98] On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
.
1998.
[1500] On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. 12:3-19.
.
2014.
[CM-LNCS-06] On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
.
2006.
[1456] On the Performance Estimation and Resource Optimisation in Process Petri Nets. IEEE Transactions on Systems, Man and Cybernetics: Systems. 46(3):1385-1398.
.
2013.
[1480] On the Relationships between QoS and Software Adaptability at the Architectural Level. Journal of Systems and Software. 87(1):17.
.
2014.
[BooMay96] On the robustness of ALMOST R. Rairo Informatique Theorique et Applications. 30:123-133.
.
1996.
[1502] ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
.
2014.
[ARMAGIRESESI08] Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
.
2008.
.
2004.
[1296] On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
.
2011.
.
2008.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[IPCoGiSeJu03] Observers for nondeterministic l-free labeled Petri nets.
.
2003.
[PJCS-96c] On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems. :201-207.
.
1996.
[PJCS-95] On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. :156-171.
.
1995.
[IPJiJuReSi05] On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
.
2005.
[IPVaRaReSi08] On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
.
2008.
[IPJuReSi02] On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
.
2002.