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
- 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
- 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
that nupn_info can be seen as a superset of caesar.bdd.
See the nupn
manual page for a detailed definition
of the NUPN file format.
The exit status of nupn_info
if execution went well. Otherwise a non-zero exit status is returned.
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 files $CADP/INSTALLATION_*.
Recent changes and improvements
to this software are reported and commented in file $CADP/HISTORY.
report new bugs to Hubert.Garavel@inria.fr
Table of Contents