• No results found

coloured Petri net model

A hierarchical coloured Petri net model of fleet maintenance with cannibalisation

A hierarchical coloured Petri net model of fleet maintenance with cannibalisation

... Petri nets (PN), first introduced by Carl Adam Petri in 1962 [8], are powerful graphical and mathematical tools for modelling complex, dynamic systems. Since they can be constructed at various levels of ...

26

An Improved Coloured Petri Net Model for Software Component Allocation on Heterogeneous Embedded Systems

An Improved Coloured Petri Net Model for Software Component Allocation on Heterogeneous Embedded Systems

... formal model for allocation optimization of embedded systems which contain a mix of CPU and GPU process- ing ...optimization model. In addition, the authors translate the model into a solver using a ...

13

MODELLING OF A PRE-HOSPITAL EMERGENCY CARE FLOW PROCESS  USING TIMED COLOURED PETRI NETS

MODELLING OF A PRE-HOSPITAL EMERGENCY CARE FLOW PROCESS USING TIMED COLOURED PETRI NETS

... TCPN model are revealed in Table ...TCPN model in order to obtain the mean ...Timed Coloured Petri Net model was validated by carrying out a statistical analysis (T-Test) between ...

9

Probabilistic Congestion of Wireless Sensor Networks: a Coloured Petri Net based Approach

Probabilistic Congestion of Wireless Sensor Networks: a Coloured Petri Net based Approach

... WSN model in congestion detection context can efficiently express all its activities includ- ing concurrency ...WDTSCPN model that is the combination result of PN-Modelled by CPN and verification by ...of ...

7

Towards a Petri net Model for Graph Transformation Systems

Towards a Petri net Model for Graph Transformation Systems

... sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by a number of analysis ...of Coloured ...

6

Volume 47: Graph Transformation and Visual Modeling Techniques 2012

Volume 47: Graph Transformation and Visual Modeling Techniques 2012

... extending Petri nets by ...timed Coloured Petri nets (timed CPNs) [JK09], where the well-known high-level Petri net variant CPNs [Jen92] has been extended by assigning a duration to a ...

15

A Petri net model for railway bridge maintenance

A Petri net model for railway bridge maintenance

... to model opportunistic maintenance. In the model, the black and white tokens represent two separate bridge main ...to model the potential for opportunistic minor repair when there is a component ...

26

A Coloured Petri Net Methodology and Library for Security Analysis of Network Protocols

A Coloured Petri Net Methodology and Library for Security Analysis of Network Protocols

... using Coloured Petri nets that offers a graphical modelling language, a library of common security attack modules and automatic property verifi- cation (through state space ...attack model, by using ...

14

Evaluation of a community pharmacy dispensing process using a Coloured Petri Net

Evaluation of a community pharmacy dispensing process using a Coloured Petri Net

... of Petri Net extensions are timed and Col- oured Petri Nets (Jensen, ...to model temporal ...into Petri Net modelling enables token specific information to be propagated around ...

8

Modelling and Analysis of an Integrated Automated Guided Vehicle System using Coloured Petri Net

Modelling and Analysis of an Integrated Automated Guided Vehicle System using Coloured Petri Net

... The model is developed by using CPN Tools which is a CPN based program developed on the basis of CPN ML ...The Model has a three-layered hierarchical format as is shown in Figure ...

6

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)

... Representation of three categories of class, responsibilities and collaborators can give suitable image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of ...

10

Proposing a Formal Model for Performance Improvement in Grid Environment

Proposing a Formal Model for Performance Improvement in Grid Environment

... The cooperation of the geographical distributed resources for solving the great problems is called the computing grid. An efficiency scheduling system is necessary to reach the aim. In the proposed method, RMS divides ...

7

Translation of Extended Petri Net Model into Ladder Diagram and Simulation with PLC

Translation of Extended Petri Net Model into Ladder Diagram and Simulation with PLC

... A model of the system can be used for several purposes. The model is most of all needed in the design stage of a new system or for a re- design of an existent system [9] or a system component [12] for ...

14

A Conceptual Graph Petri Net Model based Multi Agent System

A Conceptual Graph Petri Net Model based Multi Agent System

... Graph Petri Nets) which is a combination of CG (Conceptual Graph) and CPN (Color Petri Net) to model collaborative behavior of agents in a MAS(Multi Agent System) to achieve some ...to ...

8

DNA Algorithms for Petri Net Modeling

DNA Algorithms for Petri Net Modeling

... mediated by molecular entities called enzymes and include the lengthening, shortening, cutting, linking, and multiply- ing of DNA, for example. It is necessary to point out that these events and processes are quite ...

8

Development of A Model for Bank Cash Deposit Transactions Using Hierarchical Timed Coloured Petri Nets

Development of A Model for Bank Cash Deposit Transactions Using Hierarchical Timed Coloured Petri Nets

... the model parameters (the distribution of the inter-arrival times of customers entering the banking hall for DS and POS services and the distribution of the service times for ...HTCPN model which consists ...

8

Watson-crick petri net and place-labelled petri net controlled grammar using formal language theory

Watson-crick petri net and place-labelled petri net controlled grammar using formal language theory

... and Petri nets. A Watson-Crick automaton is a model of automaton that uses the Watson-Crick complementarity feature of DNA ...Watson-Crick Petri net is introduced in developing a model ...

31

Formal Verification of Secure Information Flow in Cloud Computing

Formal Verification of Secure Information Flow in Cloud Computing

... security model which can be used to analyze the information flow in ...formal model can then be represented by a suitable CPN, and its dynamic behaviour analyzed using the existing verification methods and ...

33

An Axiomatization of the Category of Petri Net Computations

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

Volume 40: Petri Nets and Graph Transformations 2010

... trolled model adaption are reconfigurable Petri ...applying net transformation rules [EHP + 08, ...of Petri nets and allows in addition to the well known token game a formal description and ...

19

Show all 10000 documents...

Related subjects