Checking system boundedness using ordinary differential equations

DOI10.1016/J.INS.2011.10.018zbMATH Open1277.68180OpenAlexW1969143603MaRDI QIDQ454908FDOQ454908

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

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

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)

Cites Work

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

Cited In (2)

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

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)