Publications
] Filters: First Letter Of Title is O [Clear All Filters]
[1258] .
2010. Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
[IPMARESI08] .
2008. Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems.
[1250] .
2009. Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[IPCoGiSeJu03] .
2003. Observers for nondeterministic l-free labeled Petri nets.
[PJCS-96c] .
1996. On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems. :201-207.
[PJCS-95] .
1995. On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. :156-171.
[IPJiJuReSi05] .
2005. On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
[IPVaRaReSi08] .
2008. On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
[IPJuReSi02] .
2002. On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
[1446] .
2011. On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.
[BDM-Tutorial] .
2005. On derivation of Petri net quantitative models from UML software system specifications.
[IPSiRe03] .
2003. On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
[ARSiRe04] .
2004. On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
[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.
[ARReTeSi98] .
1998. On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
[271] .
1990. 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.
[IPJuJiReSi04a] .
2004. On Observability in Timed Continuous Petri Net Systems. :60-69.
[RCS-Atlanta-93] .
1993. On Optimal Scheduling in DEDS. :821-826.
[BC-QEST-04] .
2004. On Performance Bounds for Interval Time Petri Nets. :50-59.
[IPMaReSi06] .
2006. On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
[RP-91-26] .
1991. On periodic schedules for deterministically timed Petri nets systems. :210-215.
[1296] .
2011. On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.
[IPJuReSi03a] .
2003. On reachability in autonomous continuous Petri net systems.
[IPMaGiReSeSi06] .
2006. On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
[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.
