Greenhouse Modeling Using Continuous Timed Petri Nets
暂无分享,去创建一个
Antonio Ramírez-Treviño | Javier Ruiz-León | O. Begovich | Roberto Ross-León | José Luis Tovany | O. Begovich | J. Ruiz-León | A. Ramírez-Treviño | Roberto Ross-León
[1] Manuel Silva Suárez,et al. Petri nets and integrality relaxations: A view of continuous Petri net models , 2002, IEEE Trans. Syst. Man Cybern. Part C.
[2] Antonio Ramírez-Treviño,et al. Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems , 2008, IEEE Transactions on Automation Science and Engineering.
[3] Cristian Mahulea,et al. An Automated Framework for Formal Verification of Timed Continuous Petri Nets , 2010, IEEE Transactions on Industrial Informatics.
[4] Xavier Blasco,et al. Robust identification of non-linear greenhouse model using evolutionary algorithms , 2008 .
[5] Manuel Silva,et al. On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models , 2003, ADHS.
[6] José Boaventura Cunha,et al. GREENHOUSE CLIMATE MODELS: AN OVERVIEW , 2003 .
[7] Paulo Salgado,et al. Greenhouse climate hierarchical fuzzy modelling , 2005 .
[8] Manuel Silva Suárez,et al. Timing-dependent boundedness and liveness in continuous Petri nets , 2010, WODES.
[9] Jörg Desel,et al. Free choice Petri nets , 1995 .
[10] Thierry Boulard,et al. A simple greenhouse climate control model incorporating effects of ventilation and evaporative cooling , 1993 .