Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly (Q5739008): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2588650882
@@ Property / OpenAlex ID: W2588650882 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow Unfolding of Multi-clock Nets
@@ Property / cites work: Flow Unfolding of Multi-clock 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 @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Trellis processes: a compact representation for runs of concurrent systems
+Normal rank
@@ Property / cites work @@
+Merged processes: a new condensed representation of Petri net behaviour
+Normal rank
@@ Property / cites work @@
+Q4733400
@@ Property / cites work: Q4733400 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Petri Nets
@@ Property / cites work: Understanding Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774955
@@ Property / cites work: Q3774955 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5739008