NUPN_INFO manual page
Table of Contents


nupn_info - query and transformation of Nested-Unit Petri Nets


nupn_info option [ filename.nupn ]


Taking as input filename.nupn (or by default the standard input), which contains a Nested-Unit Petri Net (NUPN) encoded in the nupn format, nupn_info performs various analyses or transformations, 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.

For performance reasons, nupn_info assumes that the contents of filename.nupn are correct. When dealing with an unknown Nested-Unit Petri Net, it is therefore advisable to first analyze its contents with the -check option of caesar.bdd .


Apply the place-fusion abstraction to filename.nupn, merging in each unit all the places of this unit into a single place. The resulting NUPN has as many places as it has non-void units. The resulting NUPN is displayed on the standard output.

Erase the existing unit structure of filename.nupn and replace it with the trivial unit structure, in which each unit contains a single place, except the root unit, which has no place and contains all the other units. The resulting NUPN has as many non-void units as it has places. The resulting NUPN is displayed on the standard output.

Eliminate all (non-root) void units from filename.nupn, i.e., units containing no local places. The resulting NUPN is displayed on the standard output.

Any other option is passed to caesar.bdd , so that nupn_info can be seen as a superset of caesar.bdd.

NUPN (Nested-Unit Petri Net) Format

See the nupn manual page for a detailed definition of the NUPN file format.

Exit Status

The exit status of nupn_info is zero if execution went well. Otherwise a non-zero exit status is returned.


Hubert Garavel (INRIA Rhone-Alpes)


Nested-Unit Petri Net (input)


[Gar15] Hubert Garavel. "Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets." In R. Devillers and A. Valmari, editors, Proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS'15), Brussels, Belgium. Lecture Notes in Computer Science, vol. 9115, Springer, 2015. Related slideshow available from

See Also

caesar.bdd , nupn

Additional information is available from the CADP Web page located at

Directives for installation are given in files $CADP/INSTALLATION_*.

Recent changes and improvements to this software are reported and commented in file $CADP/HISTORY.


Please report new bugs to

Table of Contents