A structural approach for the analysis of Petri Nets by reduced unfoldings (Q4633172): 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/3-540-61363-3_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1598058335
@@ Property / OpenAlex ID: W1598058335 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Petri nets from finite transition systems
+Normal rank
@@ Property / cites work @@
+Model checking using net unfoldings
@@ Property / cites work: Model checking using net unfoldings / 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 @@
+Q4319803
@@ Property / cites work: Q4319803 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach for the analysis of Petri Nets by reduced unfoldings
+Normal rank
@@ Property / cites work @@
+A technique of state space search based on unfolding
+Normal rank
@@ Property / cites work @@
+Q5558258
@@ Property / cites work: Q5558258 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:4633172