Keyword: petri nets

Found 82 papers in total
Abnormal behaviour propagation in hybrid dynamic systems
Abnormal behaviour propagation in hybrid dynamic systems
2014,
The use of qualitative modelling of processes and tools such as Petri nets and Signed...
A Petri Net Approach to Fault Verification in Phased Mission Systems using the Standard Deviation Technique
A Petri Net Approach to Fault Verification in Phased Mission Systems using the Standard Deviation Technique
2014,
Health management systems are now standard aspects of complex systems. They monitor...
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal
2012,
This paper describes an approach to modeling and analysis of time‐dependent...
On the study of simultaneous service by random number of servers with retrial and preemptive priority
On the study of simultaneous service by random number of servers with retrial and preemptive priority
2014,
In this paper, we propose to study the performance of a multi‐server queuing...
Petri nets with exclusive entities for decision making
Petri nets with exclusive entities for decision making
2013,
The design of Discrete Event Systems (DES) can be seen as a sequence of...
Simulation of destabilizing factors influence on distributed information systems by Petri nets
Simulation of destabilizing factors influence on distributed information systems by Petri nets
2011,
In the paper, we consider issues of information security in distributed protected...
Workflow modelling of clinical pathway based on modular temporised coloured petri net with changeable structure
Workflow modelling of clinical pathway based on modular temporised coloured petri net with changeable structure
2011,
Generally, there is a 'hard' problem of Clinical Pathway (CP) workflow...
Building insightful simulation models using Petri Nets – A structured approach
Building insightful simulation models using Petri Nets – A structured approach
2011,
Petri Nets have essential strengths in capturing a system's static structure and...
Modeling the dynamics of concurrent computing systems
Modeling the dynamics of concurrent computing systems
2011,
This paper presents a very first step on the road to applying the theory of discrete...
Operational‐objective modeling of dynamics of organizational systems development via Petri nets
Operational‐objective modeling of dynamics of organizational systems development via Petri nets
2008,
An operational‐objective model of configurations of the organizational system...
Applications of resource assignment and scheduling with Petri Nets and heuristic search
Applications of resource assignment and scheduling with Petri Nets and heuristic search
2010,
This paper introduces a new Petri Net based approach for resource allocation and...
Scheduling manufacturing systems with blocking: a Petri net approach
Scheduling manufacturing systems with blocking: a Petri net approach
2009,
This paper introduces a Petri net-based approach for scheduling manufacturing systems...
A new stochastic Petri net model and its applications to logistics systems
A new stochastic Petri net model and its applications to logistics systems
2008,
This is a summary of the author's PhD thesis supervised by Lionel Amodeo and Hoaxun...
Stochastic evaluation of supply chains and replenishment policies with Petri net components
Stochastic evaluation of supply chains and replenishment policies with Petri net components
2008,
The outbound logistics deals with the transportation and storage of finished goods. It...
The infrastructure of the timed EOPNs-based multiple-objective real-time scheduling system for 300 mm wafer fab
The infrastructure of the timed EOPNs-based multiple-objective real-time scheduling system for 300 mm wafer fab
2007,
Modern semiconductor wafer fabrication systems are changing from 200 mm to 300 mm...
An algebra for queueing networks with time-varying service and its application to the analysis of integrated service networks
An algebra for queueing networks with time-varying service and its application to the analysis of integrated service networks
2004,
We introduce a network model that allows us to capture the time-varying service...
A new approach to the performance analysis of the M/M/c retrial queueing systems
A new approach to the performance analysis of the M/M/c retrial queueing systems
2003,
In this paper we use a different approach to the performance analysis of the M/M/c...
An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems
An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems
2006,
Our previous work presented a Petri net-based iterative synthesis policy for deadlock...
A new analytic algorithm of Timed Net with Probabilities of Choices and its application
A new analytic algorithm of Timed Net with Probabilities of Choices and its application
2005,
For an analysis of a computer system, the minimum cycle time method has been widely...
Structural symmetrics in Petri nets and the reduced reachability graph
Structural symmetrics in Petri nets and the reduced reachability graph
2000,
The main purpose of this paper is to give a method for construction of the reduced...
A new transformation of generalized Petri nets
A new transformation of generalized Petri nets
2004,
This paper introduces a new transformation of generalized Petri nets. This...
Modelling integer linear programs with Petri nets
Modelling integer linear programs with Petri nets
2000,
We show in this paper that timed Petri nets, with one resource shared by all the...
On the line planning problems of the hub public-transportation networks
On the line planning problems of the hub public-transportation networks
2004,
This paper deals with the problem of line planning that is often posed in the...
Virtual Petri nets as a modular modeling method for planning and control tasks of flexible manufacturing systems
Virtual Petri nets as a modular modeling method for planning and control tasks of flexible manufacturing systems
2005,
The modelling of automated manufacturing systems has been explored to offer solutions...
Papers per page: