PNML2BPN transforms Petri Nets models in PNML (Petri nets Markup Language, www.pnml.org) into Basic Petri Nets handled by the Caesar.bdd structural analyser tool of te CADP tool suite.