<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Radu Muschevici</style></author><author><style face="normal" font="default" size="100%">Dave Clarke</style></author><author><style face="normal" font="default" size="100%">José Proença</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Feature Petri Nets</style></title><secondary-title><style face="normal" font="default" size="100%">14th International Conference on Software Product Lines - SPLC </style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2010</style></year><pub-dates><date><style  face="normal" font="default" size="100%">September</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/joseproenca/files/fmsple2010_submission_7.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Jeju Island, South Korea</style></pub-location><pages><style face="normal" font="default" size="100%">99–106</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In software product line (SPL) engineering, formal modelling and verification are critical for managing the inherent complexity of systems with a high degree of variability. The number of products in an SPL can be exponential in the number of features. Therefore, the challenge when modelling SPL lies in analysing and verifying large, complex models efficiently, in order to ensure that all products behave correctly. The choice of a system modelling formalism that is both expressive and well-established is therefore crucial. In this paper we propose two lightweight extensions to Petri nets: Feature Petri Nets provide a framework for modelling and verifying software product lines; and Dynamic Feature Petri Nets provide additional support for modelling dynamic software product lines.&lt;/p&gt;
</style></abstract></record></records></xml>