Petri net based method
A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems
... Place-timed Petri nets (EPdPN) is proposed for schedulability analysis in DRE ...the method can be a good solution to analyze the schedulability of DRE ...
8
Quantitative risk prognostics framework based on Petri Net and Bow Tie models
... framework based on the Petri Net model is proposed in this paper used for performing quantitative risk prognosis through extending the Bow-Tie ...A Petri Net model is built to include ...
27
A Verification Method Based On Petri Net for Online Student Registration Web Service Composition
... execution. Petri net or Place / Transition net is a mathematical modeling language used to describe the distributed ...of Petri nets ...using Petri net transitive ...
7
Probabilistic Congestion of Wireless Sensor Networks: a Coloured Petri Net based Approach
... congestion-based method based on the modelling approach, called ...P/T Petri nets and only focuses on the distribution of packets of a ...works based on sequential semantic ...ideas ...
7
A Petri Net based life cycle cost analysis approach
... scheduled based on the condition revealed during routine inspections, rather than fixed-interval time based ...accurately, Petri Nets (PNs) have been chosen as the modelling method, due to ...
26
The Web service composition based on colored Petri net
... Petri net[2] is an important tool for modeling and analysis of asynchronous concurrent systems, and it is widely used in the field of system modeling, analysis and verification, monitoring and fault ...
6
Mapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
... a method for specifying all processes ...is based on sequential, conditional, iterative and synchronous structure of responsibilities for which special marks have been ...
10
A Petri Net-based Supply Chain System
... Petri net is an important concept in the field of computers and it is a widely used formal ...modeling method is that it has a strict mathematical definition, which can provide data support for ...
12
Reduction Rules for Petri Net with Inhibitor Arcs Based Representation for Embedded Systems
... Petri net based reduction is an effective approach to system design and verification. As for reduction method, H. Boucheneb et al. [9] proposed a partial order reduction technique for time ...
6
A Petri net occam based methodology for the development of dependable distributed control software
... Little has been discussed about the relationship between the level 1 and 2 controllers, described in sections 2.5 and 2.6, because level 1 is outside the scope of this thesis. However, there is potential for deadlock due ...
241
The use of the Petri net method in the simulation modeling of mitochondrial swelling
... is based on the analysis of the correlation characteristics of the fluc tuation intensity of dynamic light scattering while laser ray passes through a medium with mitochon ...
9
A Petri-Net Based Approach of Software Visualization for Software Customization
... inspection method, the dialogue-based system has already provided error messages for the user when he types an irrelevant word or presses an irrelevant button, for error prevention, dialogue based ...
84
Modeling Method of Equipment Virtual Training Process Based on Improved Petri Net
... In the improved Petri net model, the initial marking is (1, 1, 1, 1). All three operators are in "not busy" state and receive the order. After being triggered, the three operators perform ...
5
Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net
... modeling method of physical entities in CPS by constructing a Spatial-Temporal Petri net model introducing space factor into the traditional Timed Petri net, which not only able to ...
7
A Petri net model for railway bridge maintenance
... analysis based models, the degradation process of bridges or bridge elements is modelled based on the lifetime analysis technique [13, ...the method to model the degradation process between different ...
26
FUNSOFT Nets: a petri-net based software process modeling language
... The next section gives a very concise overview of the relationship between software process modeling and software engineering. Furthermore that section stresses requirements for software process modeling languages. ...
23
Intrusion Detection in Cyber-Physical Systems Based on Petri Net
... Based on the result shown in Table 8, it is evident that the proposed feedforward back propagation neural FOHPN model is accurate enough to enhance acceptable detection rate. Its accuracy is better than [14], ...
16
A Petri Net based modelling approach to railway bridge asset management
... PNs were developed by Petri (1962). They have had in- creasing application in transportation, manufacturing and business for modelling dynamic, distributed systems (British Standards Institution, 2012). PNs are ...
13
An Automated Petri-Net Based Approach for Change Management in Distributed Telemedicine Environment
... using Petri nets. In our work, we use Petri nets to model handling and adptative changes in dis- tributed telemedicine ...environement. Petri nets have been used to model a variety of concurrent and ...
9
Petrinet Model Based Validation of the LBRP for 6LoWPAN
... The whole operation of the framework (or) system can be isolated into three stages. The initial stage N1 as shown in Figure 3, where the transition t1 is invoked by the pushing of two tokens from the source P1. When t1 ...
6