Structure theory of equal conflict systems
Theoretical Computer Science - Special volume on Petri nets
Structural techniques and performance bounds of stochastic Petri net models
Advances in Petri Nets 1992, The DEMON Project
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Petri nets and integrality relaxations: A view of continuous Petri net models
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Choice-free Petri nets: a model for deterministic concurrentsystems with bulk services and arrivals
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
Automatica (Journal of IFAC)
Timing and liveness in continuous Petri nets
Automatica (Journal of IFAC)
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Hi-index | 0.00 |
Continuous Petri nets were introduced as an approximation to deal with the state explosion problem which can appear in discrete event models. When time is introduced, the flow through a fluidified transition can be defined in many ways. The most used in literature are constant and variable speed (David and Alla, Discrete, continuous and hybrid Petri nets, Springer-Verlag, 2005), which can be seen as some kind of finite and infinite server interpretations of the transitions behavior, and derived from stochastic (discrete) Petri nets (Silva and Recalde, Annu Rev Control 28(2):253---266, 2004). In this paper we will compare the results obtained with both relaxations for the broad class of mono-T-semiflow reducible nets, and prove that, under some frequently true conditions, infinite server semantics offers a throughput which is closer to the throughput of the discrete system in steady state. In the second part, it will be proved that the throughput of mono-T-semiflow reducible net systems is monotone with respect to the speed of the transitions and the initial marking of the net.