Soundness-preserving reduction rules for reset workflow nets (Q1007883): Difference between revisions

@@ Property / DOI @@
-.1016/j.ins.2008.10.033
@@ Property / DOI: 10.1016/j.ins.2008.10.033 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2008.10.033
+Normal rank
@@ Property / OpenAlex ID @@
+W2137594927
@@ Property / OpenAlex ID: W2137594927 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953845
@@ Property / cites work: Q4953845 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773358
@@ Property / cites work: Q3773358 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938633
@@ Property / cites work: Q4938633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2842877
@@ Property / cites work: Q2842877 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / 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 @@
+Reduction rules for time Petri nets
@@ Property / cites work: Reduction rules for time Petri nets / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/isci/WynnVAHE09
@@ Property / DBLP publication ID: journals/isci/WynnVAHE09 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.INS.2008.10.033
@@ Property / DOI: 10.1016/J.INS.2008.10.033 / rank @@
+Normal rank