---
name: "pnml2mcrl2"
section: "1"
platform: "linux"
package: "mcrl2"
version: "201007~rc1-1"
release: "Debian 6.0 (Squeeze)"
platforms: ["linux"]
url: "https://new.carta.tech/pnml2mcrl2"
---

# pnml2mcrl2(1)

convert a Petri net to an mCRL2 specification

## NAME

pnml2mcrl2 - convert a Petri net to an mCRL2 specification

## SYNOPSIS

**pnml2mcrl2** \[*OPTION*\]... \[*INFILE* \[*OUTFILE*\]\]

## DESCRIPTION

Convert a Petri net in INFILE to an mCRL2 specification, and write it to  OUTFILE. If INFILE is not present, stdin is used. If OUTFILE is not present,  stdout is used. INFILE is supposed to conform to the EPNML 1.1 standard.

Only classical Petri nets are translated, i.e. places, transitions and arcs.  Other constructs such as timing, coloring, inhibitor arcs and hierarchy are not  taken into account. With the -p option turned on, more functionality is  supported.

## OPTIONS

- *OPTION* can be any of the following:

  - **-e**\[*NUM*\], **--error**\[=*NUM*\]

  an \_\_error action will happen if a place gets NUM or more tokens (default is 2)

- **-i**, **--hide**

  hide (rename to tau) all transition monitoring actions to hide all but one  action edit the generated file and remove that action from the hide list

- **--mcrl2-gui**

  outputs information about the visual representation of this option in the mCRL2  GUI

- **-p**, **--no-rec-par**

  generate non-recursive mCRL2 process for the places, and enable the translation  of inhibitor and reset arcs

- Standard options:

  - **-q**, **--quiet**

  do not display warning messages

- **-v**, **--verbose**

  display short intermediate messages

- **-d**, **--debug**

  display detailed intermediate messages

- **-h**, **--help**

  display help information

- **--version**

  display version information

## AUTHOR

Written by Johfra Kamphuis and Yaroslav Usenko.

## REPORTING BUGS

Report bugs at \<http://www.mcrl2.org/issuetracker\>.

## COPYRIGHT

Copyright © 2010 Technische Universiteit Eindhoven.\
 This is free software.  You may redistribute copies of it under the terms of the Boost Software License \<http://www.boost.org/LICENSE\_1\_0.txt\>. There is NO WARRANTY, to the extent permitted by law.

## SEE ALSO

See also the manual at \<http://www.mcrl2.org/mcrl2/wiki/index.php/User\_manual/pnml2mcrl2\>.