A simulation environment for PRS processes.
Usage: prsim [options] file...
Supported file formats:
*.prs
Load an PRS*.sim
Load a sequence of transitions to operate on
General Options:
-h
,--help
Display this information--version
Display version information-v
,--verbose
Display verbose messages-d
,--debug
Display internal debugging messages
Conversion Options:
Interactive Simulation:
<arg>
specifies a required argument(arg=value)
specifies an optional argument with a default value
General:
help
,h
print this messageseed <n>
set the random seed for the simulationsource <file>
source and execute a list of commands from a filesave <file>
save the sequence of fired transitions to a '.sim' fileload <file>
load a sequence of transitions from a '.sim' fileclear
,c
clear any stored sequence and return to random steppingquit
,q
exit the interactive simulation environment
Running Simulation:
tokens
,t
list the location and state information of every tokenenabled
,e
return the list of enabled transitionsfire <i>
,f<i>
fire the i'th enabled transitionstep (N=1)
,s(N=1)
step through N transitions (random unless a sequence is loaded)reset (i)
,r(i)
reset the simulator to the initial marking and re-seed (does not clear)
Setting/Viewing State:
set <i> <expr>
execute a transition as if it were local to the i'th tokenset <expr>
execute a transition as if it were remote to all tokensforce <expr>
execute a transition as if it were local to all tokens
Licensed by Cornell University under GNU GPL v3.
Written by Ned Bingham. Copyright © 2020 Cornell University.
Haystack is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
Haystack is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
A copy of the GNU General Public License may be found in COPYRIGHT. Otherwise, see https://www.gnu.org/licenses/.