论文信息 - From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant - 字舞流文

From FPN to NuSMV: The temperature control system of the ICARO cogenerative plant

A. Avogadro | Corso Borsalino | A. Avogadro | Corso Borsalino

[1] Andrea Bobbio,et al. Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis , 2002, Electron. Notes Theor. Comput. Sci..

[2] Matteo Sereno,et al. Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis , 2001, Discret. Event Dyn. Syst..

[3] David M. Nicol,et al. Fluid stochastic Petri nets: Theory, applications, and solution techniques , 1998, Eur. J. Oper. Res..

[4] Thomas A. Henzinger,et al. Automatic Symbolic Verification of Embedded Systems , 1996, IEEE Trans. Software Eng..

[5] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.

[6] A. Prasad Sistla,et al. Quantitative temporal reasoning , 1990, Real-Time Systems.

[7] Marco Gribaudo,et al. Hybrid Formalism for Performance Evaluation: Theory and Applications , 2002 .

[8] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[9] A. Prasad Sistla,et al. Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach , 1983, POPL '83.

[10] Enrico Tronci,et al. ADVA NCED TECHNIQUES FOR SAFETY ANALYSIS APPLIED TO THE GAS TURBINE CONTROL SYSTEM OF ICARO CO GENERATIVE PLANT , 2001 .

[11] Bruno Tuffin,et al. Comparison of Hybrid Systems and Fluid Stochastic Petri Nets , 2001, Discret. Event Dyn. Syst..

[12] René David,et al. Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..