Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214): 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-319-21145-9_7
+Normal rank
@@ Property / OpenAlex ID @@
+W970977805
@@ Property / OpenAlex ID: W970977805 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph transformation for specification and programming
+Normal rank
@@ Property / cites work @@
+Petri net semantics of priority systems
@@ Property / cites work: Petri net semantics of priority systems / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis issues in Petri nets with inhibitor arcs
@@ Property / cites work: Analysis issues in Petri nets with inhibitor arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
+Normal rank
@@ Property / cites work @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+Q4904140
@@ Property / cites work: Q4904140 / rank @@
+Normal rank
@@ Property / cites work @@
+Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
+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 @@
+Undecidable Control Conditions in Graph Transformation Units
+Normal rank
@@ Property / cites work @@
+Semantics of inhibitor nets
@@ Property / cites work: Semantics of inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformation Units – An Overview
@@ Property / cites work: Graph Transformation Units – An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
+Normal rank
@@ Property / cites work @@
+Transformations in Reconfigurable Place/Transition Systems
+Normal rank
@@ Property / cites work @@
+Construction and properties of adhesive and weak adhesive high-level replacement categories
+Normal rank
@@ Property / cites work @@
+Q4825718
@@ Property / cites work: Q4825718 / rank @@
+Normal rank