Communicating sequential processes
Communicating sequential processes
Towards a synchrony theory for P/T nets
Concurrency and nets: advances in Petri nets
On the computation of structural synchronic invariants in P/T nets
Advances in Petri Nets 1988
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Discrete flow networks: bottleneck analysis and fluid approximations
Mathematics of Operations Research
Improving the linearly based characterization of P/T nets
APN 90 Proceedings on Advances in Petri nets 1990
Qualitative theory of compartmental systems
SIAM Review
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Structure theory of equal conflict systems
Theoretical Computer Science - Special volume on Petri nets
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED
Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Process algebra for performance evaluation
Theoretical Computer Science
Modern Control Engineering
Compartmental Modeling with Networks
Compartmental Modeling with Networks
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Linear System Theory and Design
Linear System Theory and Design
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Modeling, Simulation and Analysis of Batch Production Systems
Discrete Event Dynamic Systems
Generalised Batches Petri Net: Hybrid Model For High SpeedSystems With Variable Delays
Discrete Event Dynamic Systems
Perturbation Analysis for Stochastic Fluid Queueing Systems
Discrete Event Dynamic Systems
Piecewise linear test functions for stability and instability of queueing networks
Queueing Systems: Theory and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Design of Observers for Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Autonomous Continuous P/T Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Structural techniques and performance bounds of stochastic Petri net models
Advances in Petri Nets 1992, The DEMON Project
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
FSPNs: Fluid Stochastic Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
A Comparison of the Expressiveness of SPA and Bounded SPN Models
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
ON THE COMPARISON OF QUEUEING SYSTEMS WITH THEIR FLUID LIMITS
Probability in the Engineering and Informational Sciences
Perturbation Analysis of Multiclass Stochastic Fluid Models
Discrete Event Dynamic Systems
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Supervisory Control of Concurrent Systems: A Petri Net Structural Approach (Systems & Control: Foundations & Applications)
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Theoretical Computer Science
Record of the Project MAC conference on concurrent systems and parallel computation
Record of the Project MAC conference on concurrent systems and parallel computation
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics
Discrete Event Dynamic Systems
On Controllability of Timed Continuous Petri Nets
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
The research queueing package: past, present, and future
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets
Discrete Event Dynamic Systems
Automatica (Journal of IFAC)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Model checking: algorithmic verification and debugging
Communications of the ACM - Scratch Programming for All
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Performance control of Markovian Petri nets via fluid models: a stock-level control example
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Observer design for untimed continuous Petri nets
ACC'09 Proceedings of the 2009 conference on American Control Conference
On reachability in autonomous continuous Petri net systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Results and perspectives on computational methods for optimal control of switched systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Automatica (Journal of IFAC)
A continuous Petri net approach for model predictive control of traffic systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Petri nets and integrality relaxations: A view of continuous Petri net models
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
Brief Model predictive control for max-plus-linear discrete event systems
Automatica (Journal of IFAC)
The explicit linear quadratic regulator for constrained systems
Automatica (Journal of IFAC)
Survey Generic properties and control of linear structured systems: a survey
Automatica (Journal of IFAC)
Optimal stationary behavior for a class of timed continuous Petri nets
Automatica (Journal of IFAC)
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets
Automatica (Journal of IFAC)
A control problem for affine dynamical systems on a full-dimensional polytope
Automatica (Journal of IFAC)
Mean-Field analysis of markov models with reward feedback
ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
Moment closures for performance models with highly non-linear rates
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Moment closures for performance models with highly non-linear rates
EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Hi-index | 0.00 |
As a preliminary overview, this work provides first a broad tutorial on the fluidization of discrete event dynamic models, an efficient technique for dealing with the classical state explosion problem. Even if named as continuous or fluid, the relaxed models obtained are frequently hybrid in a technical sense. Thus, there is plenty of room for using discrete, hybrid and continuous model techniques for logical verification, performance evaluation and control studies. Moreover, the possibilities for transferring concepts and techniques from one modeling paradigm to others are very significant, so there is much space for synergy. As a central modeling paradigm for parallel and synchronized discrete event systems, Petri nets (PNs) are then considered in much more detail. In this sense, this paper is somewhat complementary to David and Alla (2010). Our presentation of fluid views or approximations of PNs has sometimes a flavor of a survey, but also introduces some new ideas or techniques. Among the aspects that distinguish the adopted approach are: the focus on the relationships between discrete and continuous PN models, both for untimed, i.e., fully non-deterministic abstractions, and timed versions; the use of structure theory of (discrete) PNs, algebraic and graph based concepts and results; and the bridge to Automatic Control Theory. After discussing observability and controllability issues, the most technical part in this work, the paper concludes with some remarks and possible directions for future research.