Flow Unfolding of Multi-clock Nets (Q5166763): Difference between revisions

@@ 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.1007/978-3-319-07734-5_10
+Normal rank
@@ Property / OpenAlex ID @@
+W16158588
@@ Property / OpenAlex ID: W16158588 / 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 @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / 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 @@
+A technique of state space search based on unfolding
+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 @@
+Configuration structures, event structures and Petri nets
+Normal rank
@@ Property / cites work @@
+On the nature of events: another perspective in concurrency
+Normal rank
@@ Property / cites work @@
+Flow models of distributed computations: Three equivalent semantics for CCS
+Normal rank
@@ Property / cites work @@
+Contextual Petri nets, asymmetric event structures, and processes
+Normal rank
@@ Property / cites work @@
+Domain and event structure semantics for Petri nets with read and inhibitor arcs
+Normal rank
@@ Property / cites work @@
+How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / 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 @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Direct Construction of Complete Merged Processes
+Normal rank
@@ Property / cites work @@
+Building Occurrence Nets from Reveals Relations
@@ Property / cites work: Building Occurrence Nets from Reveals Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the reveals relation in occurrence nets
@@ Property / cites work: Computing the reveals relation in occurrence nets / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5166763