…a copy of the GNU General Public License along with CPN Tools; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA….
License for Access/CPN
…copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA…
License for Grade/CPN
…received a copy of the GNU General Public License along with Grade/CPN; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA….
Performance output
…-1 “Queue_Length” reset load “gnuplot\\Queue_Delay.gpl” pause -1 “Queue_Delay” reset load “gnuplot\\Processed_A_Jobs.gpl” pause -1 “Processed_A_Jobs” reset load “gnuplot\\Count_trans_occur_Arrivals’Arrive_1.gpl” pause -1 “Count_trans_occur_Arrivals’Arrive_1” reset load “gnuplot\\Server_Utilization.gpl” pause -1 “Server_Utilization” reset load “gnuplot\\Marking_size_Server’Busy_1.gpl” pause…
Data collector functions
…data collector could be used in a predicate function for generic breakpoint monitor to stop a simulation when the Receive_Packet transition has occurred 5 times. let fun predBindElem (Top’Receive_Packet (1,…
Inhibitor arcs
…I add a new arc in the opposite direction, with the inscription ps Outgoing arcs Outgoing arcs are a bit more complicated than for queues or stacks, because I have…
Queue system configuration example
…The net can also be downloaded here. Model Configurations It is often necessary to analyze and compare the behavior of different configurations of a model. It is always possible to…
Queue system queue delay
A number of monitors for the Queue System net illustrate different ways to measure the amount of time that jobs wait in the queue. Queue delay This is a generic…
Queue system queue length
…for job queue Queue Length This monitor is a generic data collector monitor that is also used to calculate the length of the queue of jobs. The monitor is associated…
Queue system server utilization
…marking of the place Busy. fun stop ([(s,job)@timestamp]) = let val curtime = Real.fromInt (intTime()) val proctimeleft = Real.fromInt((IntInf.toInt timestamp)- intTime()) in SOME ((Total_Processing_Time.sum()-proctimeleft)/curtime) end | stop (Server’Busy_1_mark : ServerxJob…
