scientific article; zbMATH DE number 1341754
From MaRDI portal
Publication:4263299
reachabilityPetri netslivenessdeadlock-freenessP/T netsfree choice netsequal conflict netsfractional firingsnon-discrete markings
Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- Continuous-time relay self-tuning control
- Autonomy in multivariable systems with discontinuous controls
- scientific article; zbMATH DE number 3242125
- scientific article; zbMATH DE number 3306309
- scientific article; zbMATH DE number 4077078
- scientific article; zbMATH DE number 852186
- scientific article; zbMATH DE number 1999056
- Automated linear analysis of continuous control systems
- Real-time autonomic automation
Cited in
(19)- Continuous Petri Nets: Expressive Power and Decidability Issues
- On Controllability of Timed Continuous Petri Nets
- Tracking control of join-free timed continuous Petri net systems under infinite servers semantics
- Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph
- Synthesis and reengineering of persistent systems
- On fluidization of discrete event models: Observation and control of continuous Petri nets
- ON/OFF strategy based minimum-time control of continuous Petri nets
- scientific article; zbMATH DE number 2079874 (Why is no real title available?)
- Individuals, populations and fluid approximations: a Petri net based perspective
- scientific article; zbMATH DE number 2144772 (Why is no real title available?)
- Basic server semantics and performance monotonicity of continuous Petri nets
- Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling
- Complexity analysis of continuous Petri nets
- Approximation of the asymptotic mean marking of SPNs with contPNs
- About the stochastic and continuous Petri nets equivalence in the long run
- Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs
- Optimal stationary behavior for a class of timed continuous Petri nets
- Computing with chemical reaction networks: a tutorial
- On the fluidization of Petri nets and marking homothecy
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263299)
