Property analysis of logic Petri nets by marking reachability graphs (Q2515425): Difference between revisions

@@ Property / cites work @@
+Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
+Normal rank
@@ Property / cites work @@
+Q4412500
@@ Property / cites work: Q4412500 / 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 @@
+Steady Homann flow and heat transfer of an electrically conducting second grade fluid
+Normal rank
@@ Property / cites work @@
+Liveness of an extended S\(^{3}\)PR
@@ Property / cites work: Liveness of an extended S\(^{3}\)PR / rank @@
+Normal rank