Checking system boundedness using ordinary differential equations (Q454908): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2011.10.018
+Normal rank
@@ Property / OpenAlex ID @@
+W1969143603
@@ Property / OpenAlex ID: W1969143603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3841797
@@ Property / cites work: Q3841797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997236
@@ Property / cites work: Q3997236 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete, Continuous, and Hybrid Petri Nets
@@ Property / cites work: Discrete, Continuous, and Hybrid Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Petri nets: representing continuous systems in a discrete-event world
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Boundedness undecidability for synchronized nets
@@ Property / cites work: Boundedness undecidability for synchronized nets / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis of Concurrent Programs Using Ordinary Differential Equations
+Normal rank
@@ Property / cites work @@
+Modeling and monitoring of E-commerce workflows
@@ Property / cites work: Modeling and monitoring of E-commerce workflows / rank @@
+Normal rank
@@ Property / cites work @@
+Q5580482
@@ Property / cites work: Q5580482 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Ordinary Differential Equations I
@@ Property / cites work: Solving Ordinary Differential Equations I / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel methods for integrating ordinary differential equations
+Normal rank
@@ Property / cites work @@
+On liveness and boundedness of asymmetric choice nets
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental construction of coverability graphs
@@ Property / cites work: Incremental construction of coverability graphs / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Analyzing Reachability for Some Petri Nets With Fast Growing Markings
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996430
@@ Property / cites work: Q3996430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051163
@@ Property / cites work: Q4051163 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and regular languages
@@ Property / cites work: Petri nets and regular languages / rank @@
+Normal rank