Publication:4263299
From MaRDI portal
zbMath0934.93037MaRDI QIDQ4263299
Enrique Teruel, Manuel Silva, Laura Recalde
Publication date: 27 April 2000
reachability; liveness; Petri nets; deadlock-freeness; P/T nets; free choice nets; equal conflict nets; fractional firings; non-discrete markings
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93B03: Attainable sets, reachability
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Occam's razor applied to the Petri net coverability problem, Computing with chemical reaction networks: a tutorial, Individuals, populations and fluid approximations: a Petri net based perspective, 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, On fluidization of discrete event models: Observation and control of continuous Petri nets, Basic server semantics and performance monotonicity of continuous Petri nets, Tracking control of join-free timed continuous Petri net systems under infinite servers semantics, Optimal stationary behavior for a class of timed continuous Petri nets, Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling, On the fluidization of Petri nets and marking homothecy, ON/OFF strategy based minimum-time control of continuous Petri nets, Synthesis and reengineering of persistent systems, Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph, Continuous Petri Nets: Expressive Power and Decidability Issues, On Controllability of Timed Continuous Petri Nets