Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource (Q3452466): Difference between revisions

@@ 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/978-3-662-45730-6_1
+Normal rank
@@ Property / OpenAlex ID @@
+W8250348
@@ Property / OpenAlex ID: W8250348 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness of workflow nets: classification, decidability, and analysis
+Normal rank
@@ Property / cites work @@
+Q4251918
@@ Property / cites work: Q4251918 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of semantics of systems with unreliable agents by means of nets of active resources
+Normal rank
@@ Property / cites work @@
+Q4461752
@@ Property / cites work: Q4461752 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource Driven Automata Nets
@@ Property / cites work: Resource Driven Automata Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling multiagent systems with the help of generalized nets of active resources
+Normal rank
@@ Property / cites work @@
+Cellular Resource-Driven Automata
@@ Property / cites work: Cellular Resource-Driven Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2772443
@@ Property / cites work: Q2772443 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2005
@@ Property / cites work: Applications and Theory of Petri Nets 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422282
@@ Property / cites work: Q5422282 / rank @@
+Normal rank
@@ Property / cites work @@
+On the reachability problem for 5-dimensional vector addition systems
+Normal rank
@@ Property / cites work @@
+Analyzing Compatibility of Services via Resource Conformance
+Normal rank
@@ Property / cites work @@
+Structural soundness of workflow nets is decidable
+Normal rank