Table of Contents
nupn_info - query and transformation of Nested-Unit Petri Nets
Taking as input filename.nupn
default the standard input), which contains a Nested-Unit Petri Net (NUPN)
encoded in the nupn
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
- 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 is displayed on the standard output.
Any other option is
passed to caesar.bdd
, so that nupn_info can be seen as a superset
See the nupn
page for a detailed definition of the NUPN file format.
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 http://cadp.inria.fr/publications/Garavel-15-a.html
Additional information is available from the CADP Web page
located at http://cadp.inria.fr
Directives for installation are given in
Recent changes and improvements to this software
are reported and commented in file $CADP/HISTORY.
Please report new
bugs to Hubert.Garavel@inria.fr
Table of Contents