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

@@ Property / describes a project that uses @@
+Gurobi
@@ Property / describes a project that uses: Gurobi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CTrigger
@@ Property / describes a project that uses: CTrigger / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-012-0139-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2170657991
@@ Property / OpenAlex ID: W2170657991 / rank @@
+Normal rank
@@ 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