#

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

### SYNOPSIS

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

### DESCRIPTION

> 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.

### OPTIONS

> -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 stdout).
> Errors destination:
> errorfile
> | Where error messages are written (default stderr).

### EXAMPLES

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

### SEE ALSO

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

### AUTHORS

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

Tina Tools | pathto (n) | Version 3.8.5

Generated by manServer 1.07 from src/pathto.n using man macros.