Documentation -- List of core pragmatics

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