Filters: First Letter Of Title is O [Clear All Filters]
 Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.. 2010.
 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.
 On Decentralized Observability of Discrete Event Systems. 50th IEEE Conference on Decision and Control and European Control Conference.. 2011.
[BDM-Tutorial] On derivation of Petri net quantitative models from UML software system specifications.. 2005.
[IPSiRe03] On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.. 2003.
[ARSiRe04] On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.. 2004.
 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.
 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.. 1990.
[IPJuJiReSi04a] On Observability in Timed Continuous Petri Net Systems. :60-69.. 2004.
[BC-QEST-04] On Performance Bounds for Interval Time Petri Nets. :50-59.. 2004.
[IPMaReSi06] On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.. 2006.
[RP-91-26] On periodic schedules for deterministically timed Petri nets systems. :210-215.. 1991.
 On reachability and deadlock-freeness of Hybrid Adaptive Petri nets. 18th IFAC World Congress.. 2011.
[IPMaGiReSeSi06] On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.. 2006.
 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.. 1986.