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

@@ 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