PETRI network type

The modeling of system specifications of the PETRI network type enables the following to be obtained  

The prerequisite is identification of system risks (APRS conventional method). This evidence provides assurance that the specifications do not contribute significantly to the development of an identified risk in the system. 

This modeling relies on the existence of a runtime system whose behavior is known. The response time of the system is guaranteed by the functioiung of the host stracture. At the onset of an external event, the reaction time of the system (execution cycle of the mntime) and the spread to all modules in all levels of the system are determined. The introduction of an additional synchronization constraint between processes or the taking into acconnt of the process execntion time or commuiucation time between modules is urmecessary. The operation of the mntime ensures that the output calculations are carried out before the arrival of new input. The operation is cyclic and deterministic. 

The host structure is not multitasking. We used PETRI networks (AEFD) as a complete formal model. They effectively allow rrs  

Functional application instantiated to the topology and to the post program 

---

ABSTRACT Advances of electronic integration and radio communication have led to the emergency of new kind of safety systems. Wireless Sensor Network (WSN) belongs to this type of new systems. There are many papers dealing with WSN topic but usually to model the performances of such a system. The present paper gives a modelling framework using stochastic petri nets with the aim to assess WSN rehabihty. Some importance measures are also used to improve this latter one. 

---