• No results found

Petri net based modeling

Stochastic petri net based modeling of the durability of renderings

Stochastic petri net based modeling of the durability of renderings

... probabilistic distribution of the degradation condition level over time Figure 8a-c... Despite the peaks occurring, approximately, in the same years, their values are quite.[r] ...

38

Petri Net Based Modeling and Property Analysis of Distributed Discrete Event System

Petri Net Based Modeling and Property Analysis of Distributed Discrete Event System

... systems, Petri net and algebraic theory of ...models. Petri Net is efficiently used for deadlock prevention [7] in system and for fault identification in DES ...

5

A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study

A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study

... Abstract: Petri net is a highly useful tool for modeling of discrete-event ...However, Petri net models of real-life systems are enormous, and their state-spaces are usually of infinite ...

22

A Petri Net-based Supply Chain System

A Petri Net-based Supply Chain System

... With the advent of the information age, it has brought a good opportunity for the integration of information and industrialization. As China's pillar industry, the devel- opment of agriculture is also inseparable from ...

12

Volume 40: Petri Nets and Graph Transformations 2010

Volume 40: Petri Nets and Graph Transformations 2010

... and Petri net transformation sys- tems are examples of M -adhesive transformation systems based on M -adhesive categories, generalizing weak adhesive HLR ...the modeling, the simu- lation and ...

19

Modeling Method of Equipment Virtual Training Process Based on Improved Petri Net

Modeling Method of Equipment Virtual Training Process Based on Improved Petri Net

... the modeling of equipment virtual training process, the basic Petri net is improved according to multiple operators’ state judgment, operation logic relationship and order co-operation ...basic ...

5

Study on According to Modeling and Stability ...

Study on According to Modeling and Stability ...

... Petri net is a kind of reticular information flow model, which can be classified as event and condition ...added based on the directed bipartite graphs of event and condition ...

12

Multipoint MultimediaSynchronization: A Petri Net Based Approach

Multipoint MultimediaSynchronization: A Petri Net Based Approach

... existing petri net to model the above synchronization ...existing petri nets to increase its modeling and analyzing power, called self modifying stochastic color petri net ...

15

Modeling activity diagram to colored petri net for validation and verification based on non functional parameters

Modeling activity diagram to colored petri net for validation and verification based on non functional parameters

... UML ialah salah satu alat permodelan yang mendapat penggunaan meluas dalam pembangunan perisian-perisian. Ia mengandungi pelbagai rajah yang membantu pembangun perisian untuk menghasilkan produk yang lebih baik. Satu ...

20

The use of the Petri net method in the simulation modeling of mitochondrial swelling

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

Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net

Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net

... system modeling and verification. Error modeling in system will directly affect the reliability of CPS, and even endanger the safety of life and ...comprehensive modeling approach for modeling ...

7

FUNSOFT Nets: a petri-net based software process modeling language

FUNSOFT Nets: a petri-net based software process modeling language

... in the unfolding of channels. Thirdly, for each access attribute value a Pr/T net is dened. Fourthly, jobs are described by Pr/T nets. These Pr/T nets dene the input and the output ring behaviors of a job ...

23

The Web service composition based on colored Petri net

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 ...

6

DNA Algorithms for Petri Net Modeling

DNA Algorithms for Petri Net Modeling

... DNA computing is a relatively young computing paradigm. Among other things, the potential of DNA computing lies in its inherent capacity for vast parallelism, the scope for high-density storage, and its intrinsic ability ...

8

Sustainability assessment within a design process : an analysis of the impact of sustainability assessment within a design process

Sustainability assessment within a design process : an analysis of the impact of sustainability assessment within a design process

... the Petri net as ...the Petri net was modeled with CPN tools. After verification the Petri net the internal consistency was inadequate and a higher abstraction level was ...a ...

46

A Petri-Net Based Approach of Software Visualization for Software Customization

A Petri-Net Based Approach of Software Visualization for Software Customization

... requirements in the dialogue-based interface (also, in the visualized interface, colors are used for picked and abandoned services in order to reduce users memory load), consistency already exists in the system by ...

84

A Survey of Performance Evaluation Models for Distributed Software System Architecture

A Survey of Performance Evaluation Models for Distributed Software System Architecture

... be tuned to correct the problems. This approach has some limitations such as: it takes time to procure and install hardware and to tune software. Tuning may distort the original software design, testing must be repeated ...

9

PETRI NET BASED ALGORITHMIC APPROACH FOR VECHICAL ROUTING PROBLEM

PETRI NET BASED ALGORITHMIC APPROACH FOR VECHICAL ROUTING PROBLEM

... the Petri Net model, which involves finding an optimal route for visiting stations and returning to point of origin, where the inter-station distance is symmetric and ...

11

Intrusion Detection in Cyber-Physical Systems Based on Petri Net

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

Mapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)

Mapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)

... stochastic petri net is isomorphic to continuous time Markov approach ...approach modeling equivalent to stochastic petri net and then we analyze effect of each one of transform rates ...

10

Show all 10000 documents...

Related subjects