Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant
暂无分享,去创建一个
Enrico Tronci | Marco Gribaudo | Andrea Bobbio | András Horváth | Ester Ciancamerla | Michele Minichino
[1] René David,et al. Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..
[2] Enrico Tronci,et al. ADVA NCED TECHNIQUES FOR SAFETY ANALYSIS APPLIED TO THE GAS TURBINE CONTROL SYSTEM OF ICARO CO GENERATIVE PLANT , 2001 .
[3] Andrea Bobbio,et al. Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis , 2002, Electron. Notes Theor. Comput. Sci..
[4] Matteo Sereno,et al. Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis , 2001, Discret. Event Dyn. Syst..
[5] M. Allam. Sur l'analyse quantitative des réseaux de Petri hybrides : une approche basée sur les automates hybrides , 1998 .
[6] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[7] A. Prasad Sistla,et al. Quantitative temporal reasoning , 1990, Real-Time Systems.
[8] Marco Gribaudo,et al. Hybrid Formalism for Performance Evaluation: Theory and Applications , 2002 .
[9] A. Avogadro,et al. From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant , 2002 .
[10] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[11] Bruno Tuffin,et al. Comparison of Hybrid Systems and Fluid Stochastic Petri Nets , 2001, Discret. Event Dyn. Syst..
[12] David M. Nicol,et al. Fluid stochastic Petri nets: Theory, applications, and solution techniques , 1998, Eur. J. Oper. Res..
[13] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.