Lifted structural invariant analysis of Petri net product lines

DOI10.1016/j.jlamp.2022.100824OpenAlexW4297328984MaRDI QIDQ2096429

Juan de Lara, Antonio Garmendia, Elena Gómez-Martínez, Esther Guerra

Publication date: 16 November 2022

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100824

zbMATH Keywords

Petri netsconstraint solvingsoftware product linesstructural invariant analysis

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• mCRL2
• JaCoP
• Sat4j
• PIPE2
• APT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Feedback control of Petri nets based on place invariants
• Petri net modules in the transformation-based component framework
• Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
• Reversible computation in nets with bonds
• Modular Modelling of Software Product Lines with Feature Nets
• Towards a Standard for Modular Petri Nets: A Formalisation
• Mobile Petri nets
• State equation, controllability, and maximal matchings of petri nets
• Control of vector discrete-event systems. II. Controller synthesis
• Structural Invariants for the Verification of Systems with Parameterized Architectures
• Variability-Specific Abstraction Refinement for Family-Based Model Checking
• An Overview of the mCRL2 Toolset and Its Recent Advances
• Structural Analysis of Petri Nets
• Software Product Line Engineering

This page was built for publication: Lifted structural invariant analysis of Petri net product lines