Occurrence Nets Then and Now: The Path to Structured Occurrence Nets (Q3011878): Difference between revisions

@@ Property / describes a project that uses @@
+Workcraft
@@ Property / describes a project that uses: Workcraft / rank @@
+Normal rank
@@ 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-642-21834-7_1
+Normal rank
@@ Property / OpenAlex ID @@
+W1841764564
@@ Property / OpenAlex ID: W1841764564 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal model of atomicity in asynchronous systems
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+Q4048563
@@ Property / cites work: Q4048563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480167
@@ Property / cites work: Q5480167 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of bounded Petri nets using integer programming
+Normal rank
@@ Property / cites work @@
+Q3725542
@@ Property / cites work: Q3725542 / rank @@
+Normal rank
@@ Property / cites work @@
+The Merlin-Randell problem of train journeys
@@ Property / cites work: The Merlin-Randell problem of train journeys / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques
+Normal rank
@@ Property / cites work @@
+Q4134954
@@ Property / cites work: Q4134954 / rank @@
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+Failures: Their Definition, Modelling and Analysis
+Normal rank