Decompositional Petri Net Reductions (Q3605479): Difference between revisions

@@ Property / describes a project that uses @@
+Punf
@@ Property / describes a project that uses: Punf / 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-00255-7_24
+Normal rank
@@ Property / OpenAlex ID @@
+W1548310631
@@ Property / OpenAlex ID: W1548310631 / rank @@
+Normal rank
@@ Property / cites work @@
+An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
+Normal rank
@@ Property / cites work @@
+Q3745291
@@ Property / cites work: Q3745291 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Choice Petri Nets
@@ Property / cites work: Free Choice Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766576
@@ Property / cites work: Q2766576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787241
@@ Property / cites work: Q4787241 / rank @@
+Normal rank
@@ Property / cites work @@
+Decompositional Petri Net Reductions
@@ Property / cites work: Decompositional Petri Net Reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing Petri Nets with an Application to Workflow Verification
+Normal rank
@@ Property / cites work @@
+Q5315023
@@ Property / cites work: Q5315023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268457
@@ Property / cites work: Q4268457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2740516
@@ Property / cites work: Q2740516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531752
@@ Property / cites work: Q4531752 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3605479