Publications
Filters: First Letter Of Last Name is R [Clear All Filters]
.
2002.
[1275] Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. :125-140.
.
2010.
[IPJuJiReSi04b] Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.
.
2004.
[1374] Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
.
2003.
.
2001.
[1486] Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
.
2012.
[IPKLMA08] Formal analysis of timed continuous Petri net.
.
2008.
[IPJiReSi01] Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
.
2001.
.
2006.
[1373] IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[IPReMaSi06] Improving analysis and simulation of continuous Petri Nets. :7–12.
.
2006.
.
2003.
.
1999.
.
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.
[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. .
2006.