Petri net based techniques
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
1. Fuzzy petri net based e-commerce system design and analysis
... Fuzzy Petri nets is a combination of Petri Net and fuzzy ...logic. Petri Nets are graphical, and mathematical modeling tool usually used for designing and analysis of discrete event ...
8
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
A Conceptual Graph Petri Net Model based Multi Agent System
... the Petri Net and σ is the sequence of ...algebraic techniques [23]. In terms of Petri net, a deadlock corresponds to a marking from ...
8
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... extending Petri nets by time. Our approach is based on the approach of timed Coloured Petri nets (timed CPNs) [JK09], where the well-known high-level Petri net variant CPNs [Jen92] has ...
15
Modeling and Analysis of Security Protocols Using Colored Petri Nets
... analysis techniques are ...analysis techniques using Colored Petri Nets (CP-Nets) for analysis of security protocols are ...introduced. Based on the techniques, a new method using ...
9
An Automated Petri-Net Based Approach for Change Management in Distributed Telemedicine Environment
... the techniques to awareness that a change has occurred. These techniques require that a monitoring service periodicaly send “re- fresh” and “Alive” messages to detect unavailable ser- vices and also renew ...
9
Dual Transitions Petri Net based Modelling Technique for Embedded Systems Specification
... oriented techniques to the modelling process in a hardware/software embedded system co-design ...PN based representa- tion called PRES has been introduced [1] as a modelling tech- nique for verification of ...
6
Intrusion Detection in Cyber-Physical Systems Based on Petri Net
... matching based intrusion detection has been evaluated by Kreibich and Crowcroft ...Rule- based expert system is applied for misuse detection [4, ...mining techniques have been applied to networks for ...
16
A Petri-Net Based Approach of Software Visualization for Software Customization
... In the previous proposed dialogue system, slot-filling tasks is considered for the requirement elicitation process, in which the user knows about the goals and has the information about doing the task. These tasks will ...
84
A Petri Net-based Model for Web Service Composition
... There are other issues in B2B e-commerce which, we believe, could be successfully addressed by extend- ing the framework presented in this paper, e.g., to in- clude management of time and resources. We expect that these ...
10
A Petri net occam based methodology for the development of dependable distributed control software
... “Graphical techniques seem to provide an appropriate way of managing this complexity”, though solutions are biased towards those which are easily ...graphical techniques are data flow diagrams, entity-life ...
241
Petri Net Simulation and Analysis of Network Management Based on Mobile Agent Technology
... the Petri net model is proposed [6], [7], [8]. The Petri Net was constructed according to Petri Net model and the set of tasks that are given to the Mobile agents, presented in ...
6
Petrinet Model Based Validation of the LBRP for 6LoWPAN
... simple Petri net model in the Figure ...selected based on the maximum weighted value in terms of maximum distance with the ER, LQI and residual energy as expressed in the equation (1) ...
6
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
Parallel Splicing on ISO-Array Token Petri Nets
... Petri net has its origin in Carl Adam Petri’s dissertation submitted in the year ...this Petri net is simulated by the token ...a net is called a ...
9
Quantitative risk prognostics framework based on Petri Net and Bow Tie models
... Maintenance Petri Net for a gearbox (on the left hand side, repairable component) and drive sheave (on the right hand side, component replacement) Whenever a need for maintenance has been identified (a ...
27
Symbolic Model Checking of Dual Transition Petri Nets
... An interesting asynchronous circuit which has been widely stud- ied is the VME-bus controller [9]. This bus is of much interest in industrial applications (e.g. avionics), since it provides a flexible multi-master bus ...
6
Timed Petri Net Modeling of AODV Protocol
... Abstract: The development of intrigue and research on versatile specially appointed systems is exponentially lately. In a Mobile Ad hoc NETwork (MANET), remote transmission happens where one versatile hub can send ...
6
Watson-crick petri net and place-labelled petri net controlled grammar using formal language theory
... using Petri nets. Besides that, the use of place labelling strategies in Petri net controlled grammars increases the generative power of Petri net controlled ...in Petri ...
31