pathto - compute path to a state in a ktz descriptionPart of Tina Toolbox for analysis of Petri nets and Time Petri nets.
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 stdout).
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), scan(n), muse(n), play(n), walk(n), reduce(n), formats(n)
Bernard Berthomieu, LAAS/CNRS, 2000-2024, Bernard.Berthomieu@laas.fr.
Tina Tools | pathto (n) | Version 3.8.0 |