Publications
Filters: First Letter Of Last Name is R [Clear All Filters]
[RMB_SERENE10] Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
.
2010.
.
1999.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
[1525] Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
.
2015.
.
1991.
[RP-93-56] A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
.
1993.
[ICEzCoSi93] 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.
.
1993.
[1258] Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
.
2010.
.
2008.
[1250] Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
.
2009.
[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.
[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.
[ARReTeSi98] On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
.
1998.
[IPJuJiReSi04a] On Observability in Timed Continuous Petri Net Systems. :60-69.
.
2004.
[RCS-Atlanta-93] On Optimal Scheduling in DEDS. :821-826.
.
1993.
[IPMaReSi06] On performance monotonicity and basic servers semantics of continuous Petri nets. :345–351.
.
2006.
.
2003.
[IPMaGiReSeSi06] On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics. :37–43.
.
2006.
[ICEsSi90b] On the Analysis and Synthesis of Free Choice Systems. Advances in Petri Nets 90. 483:243-286.
.
1991.
[RP-91-18] On the Analysis and Synthesis of Free Choice Systems. 483:243-286.
.
1991.
[365] On the Computation of Structural Synchronic Invariants in P/T Nets. Advances in Petri Nets 1988. :386-417.
.
1988.
[1318] 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
.
2010.