Branching Processes of Timed Petri Nets (Q3179184): Difference between revisions

@@ Property / cites work @@
+A causal semantic for time Petri nets
@@ Property / cites work: A causal semantic for time Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient unfolding of contextual Petri nets
@@ Property / cites work: Efficient unfolding of contextual Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Diagnosis of asynchronous discrete-event systems: a net unfolding approach
+Normal rank
@@ Property / cites work @@
+Faster Unfolding of General Petri Nets Based on Token Flows
+Normal rank
@@ Property / cites work @@
+Directed Unfolding of Petri Nets
@@ Property / cites work: Directed Unfolding of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Recent advances in unfolding technique
@@ Property / cites work: Recent advances in unfolding technique / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Processes of General Petri Nets
@@ Property / cites work: Branching Processes of General Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Branching processes of Petri nets
@@ Property / cites work: Branching processes of Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking using net unfoldings
@@ Property / cites work: Model checking using net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Timed High Level Nets and Their Branching Processes
+Normal rank
@@ Property / cites work @@
+Q3045259
@@ Property / cites work: Q3045259 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical prefixes of Petri net unfoldings
@@ Property / cites work: Canonical prefixes of Petri net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of place/transition Petri nets
@@ Property / cites work: On the semantics of place/transition Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+Time and Petri Nets
@@ Property / cites work: Time and Petri Nets / rank @@
+Normal rank