Safety-critical systems require the utmost care in their specification and design to avoid errors in their implementation. Development of such systems may be supported by formal methods. The paper presents a subclass of timed coloured Petri nets called RTCP-nets that may be used for the modelling and analysis of safety-critical systems. Subclass of RTCP-nets is described shortly and some aspects of the modelling of safety-critical systems with RTCP-nets and implementation in Ada are also presented. (The work is carried out within KBN Research Project, Grant No. 4 T11C 035 24.)
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 email@example.com
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 firstname.lastname@example.org