C-Card Examples

The following are the four pnml files generated by PIPE3. It follows the pnml file format, but it is still the (.xml). This format is generated by PIPE3 and also can be loaded by PIPE3.

C-Card1.xml
C-Card2.xml
C-Card3.xml
C-Card123.xml

Since pnml file is the petri net graph, thus there are many other attributes, for example the positionX, Y of each place and transition, and etc. For each transition, there are three specific attributes:

<ComponentType>
<value>1</value> (if it is component, value is 1. If it is super comp, value is 0
</ComponentType>

<ComponentProperty>
<value>(component, Enumerator)</value> (name of component)
</ComponentProperty>

<Super-ComponentProperty>
<value>(super-component, PSC)</value> (name of super-component)
</Super-ComponentProperty>