Recursive equations and basic properties of timed Petri nets

MaRDI QIDQ1198591zbMATH OpenFDO

Authors Guy Cohen, Bruno Gaujal, Francois Baccelli

Publication date 16 January 1993

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

zbMATH Keywords

Petri netsqueueing networksnonlinear extension of the recursive equations for conflict free timed Petri netsstochastic monotonicity properties

Mathematics Subject Classification ID

Markov renewal processes, semi-Markov processes (60K15) Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20)

Recommendations

• scientific article; zbMATH DE number 1163642
• scientific article; zbMATH DE number 1228291
• State equations and equivalent transformations for timed Petri nets
• Invariants of timed Petri nets
• A holistic state equation for timed Petri nets

Cited in

(14)

• A holistic state equation for timed Petri nets
• Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
• Blocking a transition in a free choice net and what it tells about its throughput.
• Feedback control to guarantee marking constraints in timed event graphs including disturbances: application to disassembly systems
• Invariants of timed Petri nets
• State-feedback control for a class of timed Petri nets subject to marking constraints
• Modelling and feedback control for a class of Petri nets with shared resources subject to strict time constraints using max-plus algebra
• Min-plus realizable control design for partially observable timed event graphs under marking constraints
• A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts
• Performance bounds for stochastic timed Petri nets
• Ergodicity of Jackson-type queueing networks
• Solving recursive net equations
• Petri nets for the design and operation of manufacturing systems
• scientific article; zbMATH DE number 4055006 (Why is no real title available?)

This page was built for publication: Recursive equations and basic properties of timed Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1198591)