Lifted structural invariant analysis of Petri net product lines

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

Journal of Logical and Algebraic Methods in Programming（2023）

引用 0|浏览15

暂无评分

摘要

Petri nets are commonly used to represent concurrent systems. However, they lack support for modelling and analysing system families, like variants of controllers, different variations of a process model, or the possible configurations of a flexible assembly line.

查看译文

关键词

Petri nets,Software product lines,Structural invariant analysis,Constraint solving

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要