Petri net based model
The Web service composition based on colored Petri net
... colored Petri net model of web service composition was put forward in this ...its Petri net which described in PNML( Petri net Markup Language) +OWL(Ontology Web Language) ...
6
A Petri Net based modelling approach to railway bridge asset management
... bridge model us- ing a PN ...bridge model. The state descriptions in this model were not related to deterioration, but the maintenance action required for rehabilitation, similar to Yang et ...This ...
13
Multipoint MultimediaSynchronization: A Petri Net Based Approach
... our model control mes- sage is available at receiver side if the maximum delay between sender to all receivers is within primary delay constrain otherwise more QoS support is demanded for that ...our model ...
15
A Petri Net-based Supply Chain System
... supply model in most of our coun- ...agricultural model of decentralized and independent management is bound to be elim- ...supply model, a series of studies have been carried out based on ...
12
FUNSOFT Nets: a petri-net based software process modeling language
... This statement shows that the idea of describing software processes is not new. Operating procedures have been described for each software development. The problem of most of these descriptions was and is that they lack ...
23
Towards a Petri net Model for Graph Transformation Systems
... Elementary Net Systems, Consume- Produce-Read nets. Some net variants with extra features such as read/reset/inhibitor arcs have been also ...(GTS) based on Symmet- ric Nets (SN) (earlier known as ...
6
PETRI NET BASED ALGORITHMIC APPROACH FOR VECHICAL ROUTING PROBLEM
... We model VRP-graph as a Petri Net-graph, where Petri Net- graph is an underlying graph of ...of Petri Net-graph. In Petri Net-graph, we find a set of places ...
11
A Petri Net based life cycle cost analysis approach
... computer based models to predict the future performance and life cycle cost of an asset group is a key enabling mechanism for implementing effective asset ...expenditure based on evidence from modelling ...
26
A hierarchical coloured Petri net model of fleet maintenance with cannibalisation
... A fleet is assumed to be comprised of a number of identical and independent platforms, each of which contains a number of different repairable components. Components and platforms have binary states. A platform can be ...
26
Intrusion Detection in Cyber-Physical Systems Based on Petri Net
... FOHPN model, the re- current neural network structure can be applied in or- der to update the weights in the ...This net with two cyclic arcs has one input place, two hidden places, and one output ...
16
Intelligent Adaptive Presentation and E testing System based on User Modeling and Course Sequencing in Virtual Classroom
... . Petri Net offers the ability of using conditions within the learning process and then respond to the result of the ...Student model is the core of adaptive learning since it determines the behavior ...
9
Formal Verification of Secure Information Flow in Cloud Computing
... a Petri net stating that in any possible execution sequence (called below executions) an occur- rence of a fault can eventually be ...diagnosability based on the construction of a diagnoser automa- ...
33
Reliability modelling of PEM fuel cells with hybrid Petri nets
... automaton model of a cooling system for a data center in Matlab/Simulink ...hybrid petri nets (GSPN) called fluid stochastic Petri nets ...the Petri net. This, however, requires the ...
8
A Petri net model for railway bridge maintenance
... In the system analysis presented in the previous section, it is clear that different strategies are more effective in maintaining a good condition for the bridge system. The more maintenance that is carried out on the ...
26
Translation of Extended Petri Net Model into Ladder Diagram and Simulation with PLC
... of Petri net and the developed translation of EPN model into the ladder diagram completely fulfil the settled requirements and can be used in ...for model based diagnostic of automated ...
14
A Conceptual Graph Petri Net Model based Multi Agent System
... exchanged. Petri Nets and Color Petri Nets [12] can only represent the dynamic change of states in ...Color Petri Nets and Conceptual Graphs is a new tool called Conceptual Graph Petri ...
8
Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net
... Spatio-Temporal Petri net model is proposed for the space-time consistency problem during the process of position transition of physical ...Spatio-Temporal Petri net and their moving ...
7
Toward Specifying Multimedia Requirements Using a New Time Petri Net Model
... to model weakly synchronous multimedia systems, seems to be the clos- est model to ...places model the different processes of the system called streams ( see Figure ...to model ...
19
An Axiomatization of the Category of Petri Net Computations
... Thus, abandoning the commutativity of the monoids of objects and considering strings as explicit representatives of multisets, i.e., considering strongly concatenable processes, seem to be a choice forced upon us by the ...
32
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 ...for Petri net transformation ...
19