Checking system boundedness using ordinary differential equations

DOI10.1016/J.INS.2011.10.018MaRDI QIDQ454908zbMATH OpenOpenAlexFDO

Authors Zuohua Ding, Hui Shen, Qi-Wei Ge

Publication date 10 October 2012

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2011.10.018

zbMATH Keywords

ordinary differential equationboundednesscoverability graphPetri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Complexity analysis of continuous Petri nets
• Complexity analysis of continuous Petri nets
• Petri nets properties related to the unboundness and analyzed using coverability multigraph
• Continuous Petri nets: expressive power and decidability issues
• Bounded self-stabilizing Petri nets

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1193339 (Why is no real title available?)
• scientific article; zbMATH DE number 46153 (Why is no real title available?)
• scientific article; zbMATH DE number 47171 (Why is no real title available?)
• scientific article; zbMATH DE number 3466042 (Why is no real title available?)
• scientific article; zbMATH DE number 3297399 (Why is no real title available?)
• An Algorithm for the General Petri Net Reachability Problem
• Analyzing Reachability for Some Petri Nets With Fast Growing Markings
• Boundedness undecidability for synchronized nets
• Differential Petri nets: representing continuous systems in a discrete-event world
• Discrete, Continuous, and Hybrid Petri Nets
• Free Choice Petri Nets
• Incremental construction of coverability graphs
• Modeling and monitoring of E-commerce workflows
• On liveness and boundedness of asymmetric choice nets
• Parallel methods for integrating ordinary differential equations
• Parallel program schemata
• Petri nets and regular languages
• Solving Ordinary Differential Equations I
• Static Analysis of Concurrent Programs Using Ordinary Differential Equations

Cited in

(2)

• Robustness of deadlock control for a class of Petri nets with unreliable resources
• Static Analysis of Concurrent Programs Using Ordinary Differential Equations

This page was built for publication: Checking system boundedness using ordinary differential equations

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