Keyword: discrete event systems

Found 7 papers in total
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems
DEv-PROMELA: an extension of PROMELA for the modelling, simulation and verification of discrete-event systems
2017,
PROMELA is a well‐known formalism for the modelling and the verification of...
Discrete simulation software: a survey on taxonomies
Discrete simulation software: a survey on taxonomies
2017,
In studying by simulation, choosing an appropriate software would be a difficult task...
Business process simulation in the context of enterprise engineering
Business process simulation in the context of enterprise engineering
2015,
Traditional business process‐based discrete event simulation is not...
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...
Discrete‐event simulation is alive and kicking!
Discrete‐event simulation is alive and kicking!
2014,
At the 2010 OR Society Simulation Workshop, there was a lively panel discussion...
Evaluating production improvement opportunities in a chemical plant: a case study using discrete event simulation
Evaluating production improvement opportunities in a chemical plant: a case study using discrete event simulation
2012,
This paper presents a case study on using a discrete event simulation‐based...
Warnings about simulation
Warnings about simulation
2011,
Discrete‐event simulation modelling is a powerful systems analysis tool....
Papers per page: