PetriCode

Name	Description	Level	CPN element type
principal	Denotes a principal agent.	Protocol system	Substitution transitions
channel	Denotes a channel.	all	Substitution transitions and places
id	Denotes a place on the control-flow path.	Service	Place
LCV	Life cycle variable	Principal	Place
service	A service	Principal and service	Substitution transition or transition
state	A data holder	Principal and service layers	Places
return	Ending a service	Service	Transitions
branch	Starts a conditional	Service	Places
merge	Ends a conditional	Service	Places
startLoop	Starts a loop	Service	Places
endLoop	Ends a loop	Service	Places