This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
. A set of transformation mappings for UML into CPN can be defined. The FMCPND are based on templates. The CPNtool (CPNTools, 2009) uses XML format. The CPN can be defined as nine tuple set =(∑,P,T,A,N,C,G,E,I), where ∑ is a finite set of non-empty types or color sets. P is a finite set of places. T is a finite set of transitions. A is a finite set of arcs. N is the node function. C is a color function. G is a guard function. E is an arc expression function. I is an initialization function. The information below explains in
Intuitive Transformation of UML2 Activities into Fundamental Modeling Concept Petri Nets and Colored Petri Nets
685
simple terms the transformation of activity constructs into CPN constructs. The activity constructs can be stored in a list having