Extensible structural analysis of Petri net product lines

DOI10.1007/978-3-662-63079-2_2MaRDI QIDQ2032833zbMATH OpenOpenAlexFDO

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

Publication date 14 June 2021

Full work available at URL https://doi.org/10.1007/978-3-662-63079-2_2

zbMATH Keywords

model-driven engineeringPetri netsproduct linesstructural analysis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modular modelling of software product lines with feature nets
• Petri net analysis using invariant generation
• Modular Analysis of Petri Nets
• scientific article; zbMATH DE number 1973117
• scientific article; zbMATH DE number 4197449

Cites work

• Free Choice Petri Nets
• scientific article; zbMATH DE number 4201657 (Why is no real title available?)
• scientific article; zbMATH DE number 4031000 (Why is no real title available?)
• scientific article; zbMATH DE number 4033100 (Why is no real title available?)
• Modular modelling of software product lines with feature nets
• Software Product Line Engineering
• Structure theory of equal conflict systems
• The Petri net markup language

Cited in

(2)

• Lifted structural invariant analysis of Petri net product lines
• Modular modelling of software product lines with feature nets

This page was built for publication: Extensible structural 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 Q2032833)