Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378): Difference between revisions

Revision as of 08:57, 12 July 2024

scientific article; zbMATH DE number 6606293

Language	Label	Description	Also known as
English	Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions	scientific article; zbMATH DE number 6606293

Statements

instance of

scholarly article

0 references

title

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (English)

0 references

0 references

0 references

0 references

Mathematical Structures in Computer Science

0 references

publication date

26 July 2016

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Semantics of inhibitor nets

0 references

Hereditary Pushouts Reconsidered

0 references

Correctness of high-level transformation systems relative to nested conditions

0 references

Subobject transformation systems

0 references

Q3995720

0 references

Finitary $\mathcal{M}$ -Adhesive Categories

0 references

Fundamentals of algebraic graph transformation

0 references

Domain and event structure semantics for Petri nets with read and inhibitor arcs

0 references

Petri nets are monoids

0 references

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions

0 references

Adhesive and quasiadhesive categories

0 references

Process semantics of general inhibitor nets

0 references

Identifiers

zbMATH Open document ID

1342.68179

0 references

DOI

10.1017/S0960129512000382

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5740378

@@ Property / cites work @@
+Semantics of inhibitor nets
@@ Property / cites work: Semantics of inhibitor nets / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditary Pushouts Reconsidered
@@ Property / cites work: Hereditary Pushouts Reconsidered / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Subobject transformation systems
@@ Property / cites work: Subobject transformation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary $\mathcal{M}$ -Adhesive Categories
@@ Property / cites work: Finitary $\mathcal{M}$ -Adhesive Categories / 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 @@
+Domain and event structure semantics for Petri nets with read and inhibitor arcs
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Process semantics of general inhibitor nets
@@ Property / cites work: Process semantics of general inhibitor nets / rank @@
+Normal rank