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

@@ Property / author @@
+Parosh Aziz Abdulla
@@ Property / author: Parosh Aziz Abdulla / 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-00982-2_6
+Normal rank
@@ Property / OpenAlex ID @@
+W1545777893
@@ Property / OpenAlex ID: W1545777893 / rank @@
+Normal rank
@@ 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