---

Manual Reference Pages  - pathto (n)

---

NAME

pathto - compute path to a state in a ktz description

Part of Tina Toolbox for analysis of Petri nets and Time Petri nets.

CONTENTS

Synopsis
Description
Options
Examples
See Also
Authors

pathto [-help]
tgt [-from src]
[-p | -t | -s | -l]
[infile] [outfile] [errorfile]

Given a kripke transition system in a ktz file, a target state identified by its rank in the kts file, and a source state (default 0), computes a path in the kts from the source to the destination state.

-help	Recalls options.
Source and destination states:
tgt	The target state, identified by its rank in the ktz file. -from src The source state (default 0), identified by its rank in the ktz file.
Output format flags:
-p	Prints path from src to tgt as a series of states (ranks) separated by transition (names). This is the default output format.
-t	Prints path from src to tgt as a series of transition (names). Such sequences are conformant to the .scn format expected by plan, play or the nd stepper.
-s	Prints path from src to tgt as a series of states (ranks).
-l	Prints the length of a path from src to tgt.
Input source:
infile	A ktz file.
Output destination:
outfile
	Where the result path or its length is written (default stdin).
Errors destination:
errorfile
	Where error messages are written (default stderr).

pathto 4 ifip.ktz
pathto 8 -from 2 -t abp.ktz

nd(n), tina(n), plan(n), struct(n), ktzio(n), ndrio(n), tedd(n), selt(n), sift(n), muse(n), play(n), walk(n), reduce(n), formats(n)

Bernard Berthomieu, LAAS/CNRS, 2000-2012, Bernard.Berthomieu@laas.fr.