×

PNML2NUPN

swMATH ID: 29136
Software Authors:
Description: PNML2NUPN: PNML to NUPN Converter. Free Tool to transform your PNML P/T Documents into NUPN (Format of Caesar.bdd). PNML to Nested-Unit Petri Nets (NUPN) Converter. This free and open source tool converts 1-Safe Place/Transition Petri Nets from the PNML standard format into the Nested-Unit Petri Net (NUPN) format. Note that the Caesar.bdd tool can translate NU Petri Nets from the NUPN format into PNML.
Homepage: http://pnml.lip6.fr/pnml2nupn/
Related Software: LOEWE; ITS-Tools; caesar.bdd; Meddly; PNMC; CAESAR; NUPN_INFO; Petriweb; Exp.Open; LTSmin; CADP; Renew; LoLA; libDDD; TINA; LOTOS; GreatSPN
Cited in: 1 Publication

Cited by 1 Author

1 Garavel, Hubert

Citations by Year