Lifted structural invariant analysis of Petri net product lines

DOI10.1016/J.JLAMP.2022.100824MaRDI QIDQ2096429zbMATH OpenOpenAlexFDO

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

Publication date 16 November 2022

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

constraint solvingPetri netssoftware product linesstructural invariant analysis

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Extensible structural analysis of Petri net product lines
• Petri net analysis using invariant generation
• Modular Analysis of Petri Nets
• Structural place invariants for analyzing the behavioral properties of nested Petri nets
• Computing Parameterized Invariants of Parameterized Petri Nets

Cites work

• An overview of the mCRL2 toolset and its recent advances
• Analysis of Petri nets and transition systems
• Automated test case generation for the paxos single-decree protocol using a coloured Petri net model
• Control of vector discrete-event systems. II. Controller synthesis
• Efficient SAT engines for concise logics: accelerating proof search for zero-one linear constraint systems
• Feedback control of Petri nets based on place invariants
• Handbook of constraint programming.
• scientific article; zbMATH DE number 1956602 (Why is no real title available?)
• Mobile Petri nets
• Modeling business processes. A Petri net-oriented approach
• Modular modelling of software product lines with feature nets
• Petri net modules in the transformation-based component framework
• Reversible computation in nets with bonds
• Software Product Line Engineering
• State equation, controllability, and maximal matchings of petri nets
• Structural analysis of Petri nets
• Structural Invariants for the Verification of Systems with Parameterized Architectures
• Towards a Standard for Modular Petri Nets: A Formalisation
• Variability-specific abstraction refinement for family-based model checking

Cited in

(1)

• Towards a general methodology for formal verification on spiking neural P systems

Describes a project that uses

Uses Software

• Sat4j
• mCRL2
• JaCoP
• PIPE2
• APT

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2096429)