Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141): Difference between revisions

@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating discrete controller synthesis into a reactive programming language compiler
+Normal rank
@@ Property / cites work @@
+Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
+Normal rank
@@ Property / cites work @@
+Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank
@@ Property / cites work @@
+Supervisory control of concurrent systems. A Petri net structural approach.
+Normal rank
@@ Property / cites work @@
+Modeling multithreaded applications using Petri nets
+Normal rank
@@ Property / cites work @@
+Q3640234
@@ Property / cites work: Q3640234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5506396
@@ Property / cites work: Q5506396 / rank @@
+Normal rank
@@ Property / cites work @@
+Some model theory of sheaves of modules
@@ Property / cites work: Some model theory of sheaves of modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Real-time management of resource allocation systems. A discrete event systems approach.
+Normal rank
@@ Property / cites work @@
+The theory of deadlock avoidance via discrete control
+Normal rank