×

caesar.bdd

swMATH ID: 29141
Software Authors: Damien Bergamini; Hubert Garavel; INRIA Rhone-Alpes
Description: caesar.bdd - structural and behavioural analysis of Nested-Unit Petri Nets. Taking as input filename.nupn (or by default the standard input), which contains a Nested-Unit Petri Net (NUPN) encoded in the nupn format, caesar.bdd performs various structural or behavioural analyses, depending on the option specified on the command-line, and writes the corresponding results to the standard output. Error messages, if any, are displayed on the standard error.
Homepage: http://cadp.inria.fr/man/caesar.bdd.html
Related Software: NUPN_INFO; CAESAR; TINA; PNML; LOEWE; ITS-Tools; Meddly; PNMC; PNML2NUPN; Petriweb; Exp.Open; LTSmin; CADP; Renew; LoLA; libDDD; LOTOS; GreatSPN
Cited in: 4 Publications

Citations by Year