ASKCTLmanual.pdf
CPN Tools help
Manual for the temporal logic facilities
How-to
Download
askctlmanual.pdf
(35 Kb).