Reduction rules for reset/inhibitor nets (Q847264): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2009.06.003
@@ Property / DOI: 10.1016/j.jcss.2009.06.003 / rank @@
-Normal rank
@@ Property / author @@
-Moe Thandar Wynn
@@ Property / author: Moe Thandar Wynn / rank @@
-Normal rank
@@ Property / author @@
-Wil M. P. van der Aalst
@@ Property / author: Wil M. P. van der Aalst / rank @@
-Normal rank
@@ Property / author @@
-Arthur H. M. ter Hofstede
@@ Property / author: Arthur H. M. ter Hofstede / rank @@
-Normal rank
@@ Property / author @@
+Moe Thandar Wynn
@@ Property / author: Moe Thandar Wynn / rank @@
+Normal rank
@@ Property / author @@
+Wil M. P. van der Aalst
@@ Property / author: Wil M. P. van der Aalst / rank @@
+Normal rank
@@ Property / author @@
+Arthur H. M. ter Hofstede
@@ Property / author: Arthur H. M. ter Hofstede / 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.1016/j.jcss.2009.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2150970956
@@ Property / OpenAlex ID: W2150970956 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57005388
@@ Property / Wikidata QID: Q57005388 / 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 @@
+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 @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis issues in Petri nets with inhibitor arcs
@@ Property / cites work: Analysis issues in Petri nets with inhibitor arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773358
@@ Property / cites work: Q3773358 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / 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 / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Petri Nets with Inhibitor Arcs
@@ Property / cites work: Reachability in Petri Nets with Inhibitor Arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745291
@@ Property / cites work: Q3745291 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2009.06.003
@@ Property / DOI: 10.1016/J.JCSS.2009.06.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:847264