Publications
] Filters: First Letter Of Title is O [Clear All Filters]
[RP-91-18] .
1991. On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
[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.
[ICEsSi90b] .
1991. On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
[365] .
1988. On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
[337] .
1992. On Weighted T-Systems. Application and Theory of Petri Nets 1992. :348-367.
[238] .
1995. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
[245] .
1994. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Performance Evaluation of parallel and distributed systems. Solution Methods. :197-213.
[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.
[IPSiRe03] .
2003. On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
[1540] .
2016. On Liveness Enforcement of DSSP net systems. 52nd IEEE Annual Conference on Decision and Control (CDC). Abstract
[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.
[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.
