Workshop on Petri Nets and Graph Transformations (Q3540422): 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/978-3-540-87405-8_34
+Normal rank
@@ Property / OpenAlex ID @@
+W1510674169
@@ Property / OpenAlex ID: W1510674169 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4791846
@@ Property / cites work: Q4791846 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Parallelism and concurrency in high-level replacement systems
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951112
@@ Property / cites work: Q4951112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848076
@@ Property / cites work: Q2848076 / rank @@
+Normal rank
@@ Property / cites work @@
+ESM systems and the composition of their computations
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On the semantics of place/transition Petri nets
@@ Property / cites work: On the semantics of place/transition Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic high-level net transformation systems
@@ Property / cites work: Algebraic high-level net transformation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438793
@@ Property / cites work: Q4438793 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit State Model Checking for Graph Grammars
@@ Property / cites work: Explicit State Model Checking for Graph Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848079
@@ Property / cites work: Q2848079 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination Analysis of Model Transformations by Petri Nets
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3540422