For you to test

I have made available a prototype implementation of our high-level, colored Petri net "expanser" tool. It is (currently) called cpn. I hope that this could be useful if someone (the organizers ?) want to compare/study my "interpretation" of the PNML semantics.

You can download a self-contained executable at the following address:
http homepages.laas.fr/dalzilio/cpn.exe for windows
http homepages.laas.fr/dalzilio/cpn for linux, 64 bits (amd64)

I can distribute executables for other platform and architectures if needed, available OS and ARCH given below.

By default, the program takes the first file name given as input and outputs a "Black & White" Petri net using the Tina format (.net). You can also produce nets in the Lola format (though I am not sure if my syntax for comments is correct for Lola).

As usual, options are available with -h. You can use the tool with option -debug to see a textual version of the XML (PNML) input.

Silvano

DISCLAIMER: this is a prototype, use at your own risk.

----

$ cpn -h
 -debug
       debug mode (outputs a textual representation of the HL net)
 -lola
       change default output format to Lola
 -numeric value
       comma-separated list of types that would be treated as "numeric" in the encoding
 -v    verbose output mode

-----

OS           ARCH

darwin 386
darwin amd64
darwin arm
darwin arm64
dragonfly amd64
freebsd 386
freebsd amd64
freebsd arm
linux 386
linux amd64
linux arm
linux arm64
linux ppc64
linux ppc64le
linux mips
linux mipsle
linux mips64
linux mips64le
netbsd 386
netbsd amd64
netbsd arm
openbsd 386
openbsd amd64
openbsd arm
plan9 386
plan9 amd64
solaris amd64
windows 386
windows amd64

Dear Silvano,

Noted, thanks. I'm interested in the distribution for OS X (I have 10.11.6).

Best regards,
Lom

I have put a version for Mac OS X on my homepage:

http: //  homepages.laas.fr/dalzilio/cpnos

$ file cpnos
cpnos: Mach-O 64-bit x86_64 executable, flags:<NOUNDEFS>

I have not tested it (I have no Apple computers easily at hand). Tell me if this is OK.

I would really appreciate your feedback; this is a rough prototype written in only 3 days. Actually, I spent more time looking at the PNML files than coding ;-)

Hi Silvano,

It is working. I could import the unfolded .net into Tina (tested DrinkVendingMachine-COL-02), check it, and export it into PNML.

However, from what I could observe, Tina's generated PNML is slightly different from the standard's: The net 'type' attribute URI for PT is different, and there is an additional <label> element in places that does not pass validation if I change the net type URI to http://www.pnml.org/version-2009/grammar/ptnet. It could be nice to extend the export feature of Tina to support the standard's PNML where there is no specific or fundamental difference related to the net semantics (otherwise, the editor could just decline the export request). In this instance, updating the net type URI and removing the <label> elements (in the standard's PT nets, the only authorized label on places is <initialMarking>). The rest is fine.

Finally, the cpuprofile file is empty (well, not quite: https://cloud.lip6.fr/index.php/s/zmuR0W4HJ2z6F3h, https://cloud.lip6.fr/index.php/s/BfD1pksikhNvQZw)

Thanks!

Best regards,
Lom

Lom,

Yep, tina's support for PNML is quite minimal. Maybe because it was added quite a long time ago. We mostly use the import feature and we never had to use the export. I would add your recommendations to our set of features to improve (after the rush of the MCC!).

The cpuprofile option is here only for profiling my code with pprof. This is only useful if you have the source code.

Hi Lom,

[quote="lhillah"]Hi Silvano,

However, from what I could observe, Tina's generated PNML is slightly different from the standard's: The net 'type' attribute URI for PT is different, and there is an additional <label> element in places that does not pass validation if I change the net type URI to http://www.pnml.org/version-2009/grammar/ptnet. It could be nice to extend the export feature of Tina to support the standard's PNML where there is no specific or fundamental difference related to the net semantics (otherwise, the editor could just decline the export request). In this instance, updating the net type URI and removing the <label> elements (in the standard's PT nets, the only authorized label on places is <initialMarking>). The rest is fine.

This is because Silvano left some tina labels in the nets produced by cpn :-)
The ndrio tool generates "standard" PNML only if the input net has no labels, time intevals, or special arcs.

Try to convert net to pnml the following (flag -d drops labels in the .net):
ndrio -d model.net model.pnml

B.

Hi Bernard,

Indeed, using the -d flag I have got a "standard" PNML. Thanks

@Silvano: the validation of the generated standard PNML passed but parallel arcs were detected. The reported arcs are listed below (arcId: sourceId -> targetId).

Best regards,
Lom

The following 80 sets of parallel arcs have been found:
Set 1
e-165AE-EDD0-102: t-165AE-EBB2-37 -> p-165AE-EB87-3
e-165AE-EDD0-103: t-165AE-EBB2-37 -> p-165AE-EB87-3

Set 2
e-165AE-EDD5-109: p-165AE-EB98-17 -> t-165AE-EBB5-39
e-165AE-EDD6-111: p-165AE-EB98-17 -> t-165AE-EBB5-39

Set 3
e-165AE-EDDA-115: t-165AE-EBB5-39 -> p-165AE-EB80-2
e-165AE-EDDB-116: t-165AE-EBB5-39 -> p-165AE-EB80-2

Set 4
e-165AE-EDDE-120: p-165AE-EB98-17 -> t-165AE-EBCE-40
e-165AE-EDDF-122: p-165AE-EB98-17 -> t-165AE-EBCE-40

Set 5
e-165AE-EDE3-126: t-165AE-EBCE-40 -> p-165AE-EB80-2
e-165AE-EDE3-127: t-165AE-EBCE-40 -> p-165AE-EB80-2

Set 6
e-165AE-EDF3-131: p-165AE-EB98-17 -> t-165AE-EBD0-41
e-165AE-EDF4-133: p-165AE-EB98-17 -> t-165AE-EBD0-41

Set 7
e-165AE-EDF4-132: t-165AE-EBA8-28 -> p-165AE-EB80-2
e-165AE-EDFC-143: t-165AE-EBA8-28 -> p-165AE-EB80-2

Set 8
e-165AE-EDF8-137: t-165AE-EBD0-41 -> p-165AE-EB80-2
e-165AE-EDF9-138: t-165AE-EBD0-41 -> p-165AE-EB80-2

Set 9
e-165AE-EDFC-142: p-165AE-EB98-17 -> t-165AE-EBD3-42
e-165AE-EDFD-144: p-165AE-EB98-17 -> t-165AE-EBD3-42

Set 10
e-165AE-EE01-148: t-165AE-EBD3-42 -> p-165AE-EB80-2
e-165AE-EE01-149: t-165AE-EBD3-42 -> p-165AE-EB80-2

Set 11
e-165AE-EE04-153: p-165AE-EB99-18 -> t-165AE-EBD4-43
e-165AE-EE06-156: p-165AE-EB99-18 -> t-165AE-EBD4-43

Set 12
e-165AE-EE09-159: t-165AE-EBD4-43 -> p-165AE-EB87-3
e-165AE-EE0A-161: t-165AE-EBD4-43 -> p-165AE-EB87-3

Set 13
e-165AE-EE0C-164: p-165AE-EB99-18 -> t-165AE-EBD5-44
e-165AE-EE0E-167: p-165AE-EB99-18 -> t-165AE-EBD5-44

Set 14
e-165AE-EE10-170: t-165AE-EBD5-44 -> p-165AE-EB87-3
e-165AE-EE13-172: t-165AE-EBD5-44 -> p-165AE-EB87-3

Set 15
e-165AE-EE14-175: p-165AE-EB99-18 -> t-165AE-EBD8-45
e-165AE-EE1C-178: p-165AE-EB99-18 -> t-165AE-EBD8-45

Set 16
e-165AE-EE1E-181: t-165AE-EBD8-45 -> p-165AE-EB87-3
e-165AE-EE20-183: t-165AE-EBD8-45 -> p-165AE-EB87-3

Set 17
e-165AE-EE22-186: p-165AE-EB99-18 -> t-165AE-EBD9-46
e-165AE-EE24-189: p-165AE-EB99-18 -> t-165AE-EBD9-46

Set 18
e-165AE-EE23-187: p-165AE-EB98-17 -> t-165AE-EBAA-29
e-165AE-EE2B-198: p-165AE-EB98-17 -> t-165AE-EBAA-29

Set 19
e-165AE-EE26-192: t-165AE-EBD9-46 -> p-165AE-EB87-3
e-165AE-EE27-194: t-165AE-EBD9-46 -> p-165AE-EB87-3

Set 20
e-165AE-EE2C-199: p-165AE-EB99-18 -> t-165AE-EBDB-47
e-165AE-EE2C-200: p-165AE-EB99-18 -> t-165AE-EBDB-47

Set 21
e-165AE-EE2F-204: t-165AE-EBDB-47 -> p-165AE-EB87-3
e-165AE-EE2F-205: t-165AE-EBDB-47 -> p-165AE-EB87-3

Set 22
e-165AE-EE35-211: p-165AE-EB99-18 -> t-165AE-EBDD-48
e-165AE-EE35-212: p-165AE-EB99-18 -> t-165AE-EBDD-48

Set 23
e-165AE-EE38-216: t-165AE-EBDD-48 -> p-165AE-EB87-3
e-165AE-EE38-217: t-165AE-EBDD-48 -> p-165AE-EB87-3

Set 24
e-165AE-EE43-224: p-165AE-EB99-18 -> t-165AE-EBE0-50
e-165AE-EE43-225: p-165AE-EB99-18 -> t-165AE-EBE0-50

Set 25
e-165AE-EE46-229: t-165AE-EBE0-50 -> p-165AE-EB87-3
e-165AE-EE48-230: t-165AE-EBE0-50 -> p-165AE-EB87-3

Set 26
e-165AE-EE4B-235: p-165AE-EB99-18 -> t-165AE-EBE2-51
e-165AE-EE4C-236: p-165AE-EB99-18 -> t-165AE-EBE2-51

Set 27
e-165AE-EE4E-240: t-165AE-EBE2-51 -> p-165AE-EB87-3
e-165AE-EE4F-241: t-165AE-EBE2-51 -> p-165AE-EB87-3

Set 28
e-165AE-EE52-243: t-165AE-EBAA-29 -> p-165AE-EB80-2
e-165AE-EE5A-254: t-165AE-EBAA-29 -> p-165AE-EB80-2

Set 29
e-165AE-EE53-245: p-165AE-EB99-18 -> t-165AE-EBE4-52
e-165AE-EE54-246: p-165AE-EB99-18 -> t-165AE-EBE4-52
e-165AE-EE54-247: p-165AE-EB99-18 -> t-165AE-EBE4-52

Set 30
e-165AE-EE56-250: t-165AE-EBE4-52 -> p-165AE-EB87-3
e-165AE-EE57-251: t-165AE-EBE4-52 -> p-165AE-EB87-3
e-165AE-EE57-252: t-165AE-EBE4-52 -> p-165AE-EB87-3

Set 31
e-165AE-EE5B-256: p-165AE-EB99-18 -> t-165AE-EBE5-53
e-165AE-EE5C-257: p-165AE-EB99-18 -> t-165AE-EBE5-53
e-165AE-EE5C-258: p-165AE-EB99-18 -> t-165AE-EBE5-53

Set 32
e-165AE-EE5E-261: t-165AE-EBE5-53 -> p-165AE-EB87-3
e-165AE-EE5F-262: t-165AE-EBE5-53 -> p-165AE-EB87-3
e-165AE-EE5F-263: t-165AE-EBE5-53 -> p-165AE-EB87-3

Set 33
e-165AE-EE63-267: p-165AE-EB99-18 -> t-165AE-EBE7-54
e-165AE-EE64-268: p-165AE-EB99-18 -> t-165AE-EBE7-54
e-165AE-EE65-269: p-165AE-EB99-18 -> t-165AE-EBE7-54

Set 34
e-165AE-EE6B-272: t-165AE-EBE7-54 -> p-165AE-EB87-3
e-165AE-EE6C-273: t-165AE-EBE7-54 -> p-165AE-EB87-3
e-165AE-EE6C-274: t-165AE-EBE7-54 -> p-165AE-EB87-3

Set 35
e-165AE-EE70-278: p-165AE-EB99-18 -> t-165AE-EBE9-55
e-165AE-EE71-279: p-165AE-EB99-18 -> t-165AE-EBE9-55
e-165AE-EE71-280: p-165AE-EB99-18 -> t-165AE-EBE9-55

Set 36
e-165AE-EE73-283: t-165AE-EBE9-55 -> p-165AE-EB87-3
e-165AE-EE74-284: t-165AE-EBE9-55 -> p-165AE-EB87-3
e-165AE-EE75-285: t-165AE-EBE9-55 -> p-165AE-EB87-3

Set 37
e-165AE-EE76-287: p-165AE-EB98-17 -> t-165AE-EBAB-30
e-165AE-EE87-309: p-165AE-EB98-17 -> t-165AE-EBAB-30

Set 38
e-165AE-EE77-288: p-165AE-EB98-17 -> t-165AE-EBEA-56
e-165AE-EE78-289: p-165AE-EB98-17 -> t-165AE-EBEA-56

Set 39
e-165AE-EE7A-292: t-165AE-EBEA-56 -> p-165AE-EB80-2
e-165AE-EE7B-293: t-165AE-EBEA-56 -> p-165AE-EB80-2

Set 40
e-165AE-EE7D-296: p-165AE-EB98-17 -> t-165AE-EBEC-57
e-165AE-EE7E-297: p-165AE-EB98-17 -> t-165AE-EBEC-57

Set 41
e-165AE-EE81-301: t-165AE-EBEC-57 -> p-165AE-EB80-2
e-165AE-EE82-302: t-165AE-EBEC-57 -> p-165AE-EB80-2

Set 42
e-165AE-EE84-305: p-165AE-EB98-17 -> t-165AE-EBEE-58
e-165AE-EE85-306: p-165AE-EB98-17 -> t-165AE-EBEE-58

Set 43
e-165AE-EE87-310: t-165AE-EBEE-58 -> p-165AE-EB80-2
e-165AE-EE88-311: t-165AE-EBEE-58 -> p-165AE-EB80-2

Set 44
e-165AE-EE8B-314: p-165AE-EB98-17 -> t-165AE-EBEF-59
e-165AE-EE8C-315: p-165AE-EB98-17 -> t-165AE-EBEF-59

Set 45
e-165AE-EE92-318: t-165AE-EBEF-59 -> p-165AE-EB80-2
e-165AE-EE93-319: t-165AE-EBEF-59 -> p-165AE-EB80-2

Set 46
e-165AE-EE98-325: p-165AE-EB98-17 -> t-165AE-EBF2-60
e-165AE-EE99-326: p-165AE-EB98-17 -> t-165AE-EBF2-60
e-165AE-EE9A-327: p-165AE-EB98-17 -> t-165AE-EBF2-60

Set 47
e-165AE-EE9C-330: t-165AE-EBF2-60 -> p-165AE-EB80-2
e-165AE-EE9C-331: t-165AE-EBF2-60 -> p-165AE-EB80-2
e-165AE-EE9E-333: t-165AE-EBF2-60 -> p-165AE-EB80-2

Set 48
e-165AE-EEA5-343: t-165AE-EBAB-30 -> p-165AE-EB80-2
e-165AE-EEBA-365: t-165AE-EBAB-30 -> p-165AE-EB80-2

Set 49
e-165AE-EED3-398: p-165AE-EB98-17 -> t-165AE-EBAC-31
e-165AE-EEE8-420: p-165AE-EB98-17 -> t-165AE-EBAC-31

Set 50
e-165AE-EED8-405: p-165AE-EB99-18 -> t-165AE-EBFC-69
e-165AE-EED9-406: p-165AE-EB99-18 -> t-165AE-EBFC-69

Set 51
e-165AE-EEE1-410: t-165AE-EBFC-69 -> p-165AE-EB87-3
e-165AE-EEE1-411: t-165AE-EBFC-69 -> p-165AE-EB87-3

Set 52
e-165AE-EEE3-414: p-165AE-EB99-18 -> t-165AE-EBFD-70
e-165AE-EEE4-415: p-165AE-EB99-18 -> t-165AE-EBFD-70

Set 53
e-165AE-EEE6-418: t-165AE-EBFD-70 -> p-165AE-EB87-3
e-165AE-EEE7-419: t-165AE-EBFD-70 -> p-165AE-EB87-3

Set 54
e-165AE-EEEB-424: p-165AE-EB98-17 -> t-165AE-EBFE-71
e-165AE-EEEC-425: p-165AE-EB98-17 -> t-165AE-EBFE-71
e-165AE-EEEC-426: p-165AE-EB98-17 -> t-165AE-EBFE-71

Set 55
e-165AE-EEEE-429: t-165AE-EBFE-71 -> p-165AE-EB80-2
e-165AE-EEEF-430: t-165AE-EBFE-71 -> p-165AE-EB80-2
e-165AE-EEF2-433: t-165AE-EBFE-71 -> p-165AE-EB80-2

Set 56
e-165AE-EEF3-435: p-165AE-EB99-18 -> t-165AE-EC00-72
e-165AE-EEF4-436: p-165AE-EB99-18 -> t-165AE-EC00-72

Set 57
e-165AE-EEF6-439: t-165AE-EC00-72 -> p-165AE-EB87-3
e-165AE-EEF7-440: t-165AE-EC00-72 -> p-165AE-EB87-3

Set 58
e-165AE-EEFA-444: p-165AE-EB99-18 -> t-165AE-EC02-73
e-165AE-EEFB-445: p-165AE-EB99-18 -> t-165AE-EC02-73

Set 59
e-165AE-EEFD-448: t-165AE-EC02-73 -> p-165AE-EB87-3
e-165AE-EEFE-449: t-165AE-EC02-73 -> p-165AE-EB87-3

Set 60
e-165AE-EF01-454: t-165AE-EBAC-31 -> p-165AE-EB80-2
e-165AE-EF16-476: t-165AE-EBAC-31 -> p-165AE-EB80-2

Set 61
e-165AE-EF32-506: p-165AE-EB98-17 -> t-165AE-EC10-82
e-165AE-EF33-507: p-165AE-EB98-17 -> t-165AE-EC10-82
e-165AE-EF34-508: p-165AE-EB98-17 -> t-165AE-EC10-82

Set 62
e-165AE-EF34-509: p-165AE-EB98-17 -> t-165AE-EBAD-32
e-165AE-EF46-531: p-165AE-EB98-17 -> t-165AE-EBAD-32

Set 63
e-165AE-EF36-512: t-165AE-EC10-82 -> p-165AE-EB80-2
e-165AE-EF37-513: t-165AE-EC10-82 -> p-165AE-EB80-2
e-165AE-EF38-514: t-165AE-EC10-82 -> p-165AE-EB80-2

Set 64
e-165AE-EF50-545: p-165AE-EB98-17 -> t-165AE-EC24-93
e-165AE-EF51-546: p-165AE-EB98-17 -> t-165AE-EC24-93
e-165AE-EF56-547: p-165AE-EB98-17 -> t-165AE-EC24-93

Set 65
e-165AE-EF59-550: t-165AE-EC24-93 -> p-165AE-EB80-2
e-165AE-EF5A-551: t-165AE-EC24-93 -> p-165AE-EB80-2
e-165AE-EF5A-552: t-165AE-EC24-93 -> p-165AE-EB80-2

Set 66
e-165AE-EF64-565: t-165AE-EBAD-32 -> p-165AE-EB80-2
e-165AE-EF72-584: t-165AE-EBAD-32 -> p-165AE-EB80-2

Set 67
e-165AE-EF65-566: p-165AE-EB98-17 -> t-165AE-EC28-96
e-165AE-EF66-567: p-165AE-EB98-17 -> t-165AE-EC28-96

Set 68
e-165AE-EF68-571: t-165AE-EC28-96 -> p-165AE-EB80-2
e-165AE-EF69-572: t-165AE-EC28-96 -> p-165AE-EB80-2

Set 69
e-165AE-EF6D-577: p-165AE-EB98-17 -> t-165AE-EC28-97
e-165AE-EF6E-578: p-165AE-EB98-17 -> t-165AE-EC28-97

Set 70
e-165AE-EF70-582: t-165AE-EC28-97 -> p-165AE-EB80-2
e-165AE-EF71-583: t-165AE-EC28-97 -> p-165AE-EB80-2

Set 71
e-165AE-EF75-587: p-165AE-EB98-17 -> t-165AE-EBAE-33
e-165AE-EF76-589: p-165AE-EB98-17 -> t-165AE-EBAE-33

Set 72
e-165AE-EF79-593: t-165AE-EBAE-33 -> p-165AE-EB80-2
e-165AE-EF7E-595: t-165AE-EBAE-33 -> p-165AE-EB80-2

Set 73
e-165AE-EF82-598: p-165AE-EB99-18 -> t-165AE-EBAF-34
e-165AE-EF82-599: p-165AE-EB99-18 -> t-165AE-EBAF-34

Set 74
e-165AE-EF86-604: t-165AE-EBAF-34 -> p-165AE-EB87-3
e-165AE-EF86-605: t-165AE-EBAF-34 -> p-165AE-EB87-3

Set 75
e-165AE-EF89-609: p-165AE-EB99-18 -> t-165AE-EBB1-35
e-165AE-EF8B-610: p-165AE-EB99-18 -> t-165AE-EBB1-35

Set 76
e-165AE-EF8C-612: p-165AE-EB98-17 -> t-165AE-EBA8-28
e-165AE-EF94-623: p-165AE-EB98-17 -> t-165AE-EBA8-28

Set 77
e-165AE-EF8E-615: t-165AE-EBB1-35 -> p-165AE-EB87-3
e-165AE-EF8F-616: t-165AE-EBB1-35 -> p-165AE-EB87-3

Set 78
e-165AE-EF91-620: p-165AE-EB99-18 -> t-165AE-EBB2-36
e-165AE-EF93-621: p-165AE-EB99-18 -> t-165AE-EBB2-36

Set 79
e-165AE-EF96-626: t-165AE-EBB2-36 -> p-165AE-EB87-3
e-165AE-EF97-627: t-165AE-EBB2-36 -> p-165AE-EB87-3

Set 80
e-165AE-EF9A-631: p-165AE-EB99-18 -> t-165AE-EBB2-37
e-165AE-EF9A-632: p-165AE-EB99-18 -> t-165AE-EBB2-37

Lom,

lhillah wrote:the validation of the generated standard PNML passed but parallel arcs were detected.

Could you please send me the related PNML files (or tell me where to find them) ? I will have a look into this.

I do not know if we are supposed to eliminate redundant transitions or not. Again, this is why I am looking for a description of the "accepted" method for unfolding a colored net.

Hi Silvano,

We (model committee) just recommend merging parallel arcs (same source and target nodes) when they appear.

The PNML files are here (initial, "standardized", the .net, and the validation log): https://cloud.lip6.fr/index.php/s/NSO0T8UEciTyy4a

Best regards,
Lom

Lom,

I have pushed an updated version of the tool in the same owncloud repository.

Usage of cpn.exe:
-FES successor/predecessor of constant in a finite enumeration may fail.
=> this emulate the overflow/underflow semantics with successor on finite enumeration. With this option you get the same answer on the COL and PT version of SimpleLoad
-debug
debug mode (outputs a textual representation of the HL net)
-lola
change default output format to Lola
-q quiet output mode
==> added so you don't have to call ndrio. It will forget all the labels