The aim of this invited survey is to introduce Computer science/Petri nets specialists to the
basic system level issues brought up by the development of Flexible Manufacturing and how …

A model is an artefact to represent a specific concept. It maps properties of the concept into
some abstract representation, driven by the purpose of the model. As such, models …

Petri Nets (PNs) is a well-known modelling paradigm for discrete event systems (DES). As in
other paradigms, hybrid and continuous PN formalisms have appeared in the literature …

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach
Using the SHARPE Software Package provides a variety of probabilistic, discrete-state …

Driven by the request for increased productivity, flexibility, and competitiveness, modern
civilization increasingly has created high-performance discrete event dynamic systems …

Petri nets in which random firing delays are associated with transitions whose firing is an
atomic operation are known under the name “stochastic Petri nets”. These models are …

Patient flow is the movement of patients through a healthcare facility. Over the past decades,
healthcare service providers have spent tremendous effort in optimizing patient flow and …

Any developer of discrete event systems knows that the most important quality of the final
system is that it be functionally correct by exhibiting certain functional, or qualitative …

1.1 Introduction 1 1.2 Nets and net systems 3 1.3 On modeling features 8 1.4 On net systems
interpretations 12 1.5 Approaching concurrency qualitative problems 20 1.6 Qualitative …

The class of Petri nets obtained by eliminating timing from generalized stochastic Petri net
(GSPN) models while preserving the qualitative behavior is identified. Structural results for …