A Petri Nets Evolution Method that Supports BPMN Model Changes

Table 3

Partial list of the EPN model evolution action.

Evolution action		DeleteBehaviourTransition	InsertBehaviourTransition	DeleteSilentTransition	InsertSilentTransition	InsertPlaceTransition
Query operation	query getObjectToDelete()	√		√
	query getFlowToDelete()	√		√
	query getObjectToModify()	√
	query getToken()	√		√
	query getObjectToAdd()		√		√	√
	query getFlowToAdd()		√		√	√
Mapping inout operation	mapping inout deleteBehaviourTransition()	√
	mapping inout deleteArc()	√		√
	mapping inout deletePlace()	√		√
	mapping inout modifyArc()	√	√	√
	mapping inout modifyBehaviourTransition()	√
	mapping inout addBehaviourTransition()		√
	mapping inout addPlace()		√		√	√
	mapping inout addArc()		√		√	√
	mapping inout addSilentTransition()				√
	mapping inout deleteSilentTransition()			√
Map operation	map setSource()	√	√		√	√
	map setTarget()	√	√	√	√	√