Publications
] Filters: First Letter Of Last Name is R [Clear All Filters]
[RMB_SERENE10] .
2010. Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
[ZRS-ECC99] .
1999. Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing.
[RP-85-07] .
1985. Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
[1525] .
2015. Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
[RP-91-32] .
1991. Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
[RP-93-56] .
1993. A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
[ICEzCoSi93] .
1993. A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets. Advances in Petri Nets. 674:126-147.
[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.
[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.
[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.
[ARReTeSi98] .
1998. On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
[IPJuJiReSi04a] .
2004. On Observability in Timed Continuous Petri Net Systems. :60-69.
[RCS-Atlanta-93] .
1993. On Optimal Scheduling in DEDS. :821-826.
[IPMaReSi06] .
2006. On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
[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.
[ICEsSi90b] .
1991. On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
[RP-91-18] .
1991. On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
[365] .
1988. On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
[1318] .
2010. On the Computation of the Minimal Siphons of $S^4PR$ Nets from a Generating Family of Siphons. 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’2010). :paperMF-002879. Abstract
