A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (Q3618568): Difference between revisions

@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying programs with unreliable channels
@@ Property / cites work: Verifying programs with unreliable channels / rank @@
+Normal rank
@@ Property / cites work @@
+Unreliable channels are easier to verify than perfect channels
+Normal rank
@@ Property / cites work @@
+Comparing the Expressive Power of Well-Structured Transition Systems
+Normal rank
@@ Property / cites work @@
+On the \(\omega\)-language expressive power of extended Petri nets
+Normal rank
@@ Property / cites work @@
+Well-structured languages
@@ Property / cites work: Well-structured languages / rank @@
+Normal rank
@@ Property / cites work @@
+A well-structured framework for analysing Petri net extensions
+Normal rank
@@ Property / cites work @@
+Nets with Tokens Which Carry Data
@@ Property / cites work: Nets with Tokens Which Carry Data / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of symbolic transition systems
@@ Property / cites work: A classification of symbolic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852063
@@ Property / cites work: Q2852063 / rank @@
+Normal rank