Lifted structural invariant analysis of Petri net product lines (Q2096429): 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.1016/j.jlamp.2022.100824
+Normal rank
@@ Property / OpenAlex ID @@
+W4297328984
@@ Property / OpenAlex ID: W4297328984 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
+Normal rank
@@ Property / cites work @@
+Q5392873
@@ Property / cites work: Q5392873 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computation in nets with bonds
@@ Property / cites work: Reversible computation in nets with bonds / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Invariants for the Verification of Systems with Parameterized Architectures
+Normal rank
@@ Property / cites work @@
+Software Product Line Engineering
@@ Property / cites work: Software Product Line Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417950
@@ Property / cites work: Q4417950 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+State equation, controllability, and maximal matchings of petri nets
+Normal rank
@@ Property / cites work @@
+Structural Analysis of Petri Nets
@@ Property / cites work: Structural Analysis of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408146
@@ Property / cites work: Q3408146 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216152
@@ Property / cites work: Q5216152 / rank @@
+Normal rank
@@ Property / cites work @@
+Control of vector discrete-event systems. II. Controller synthesis
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank
@@ Property / cites work @@
+Modular Modelling of Software Product Lines with Feature Nets
+Normal rank
@@ Property / cites work @@
+An Overview of the mCRL2 Toolset and Its Recent Advances
+Normal rank
@@ Property / cites work @@
+Mobile Petri nets
@@ Property / cites work: Mobile Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Petri net modules in the transformation-based component framework
+Normal rank
@@ Property / cites work @@
+Towards a Standard for Modular Petri Nets: A Formalisation
+Normal rank
@@ Property / cites work @@
+Variability-Specific Abstraction Refinement for Family-Based Model Checking
+Normal rank