…Press, Cambridge, 2010. There are also online references for Standard ML: Programming in Standard ML by Robert Harper The Standard ML Basis Library (excellent manual) Standard ML of New Jersey…
Temporal logic for state spaces
…(e.g., the occurrence of certain transitions). Strongly connected components are used to make the model checking more efficient. Manual A manual describing how to use the temporal logic facilities is…
Deep cloning
CPN Tools does not natively support cloning a substitution transitions, or pages or group containing substitution transitions, with all its subpages. You will only get new instances of the subpage…
Performance analysis
…Below is an example of a function in which the exponential function is used to create inter-arrival times that are approximately exponentially distributed. The inter-arrival times are only approximately exponentially…
Inhibitor arcs
…the p I used originally is no longer bound from the place and the newly introduced rest is not bound either. I choose to bind both in the guard of…
Queues and stacks
…This is similar to IP quality-of-service options which allow datagrams to be identified (and possibly handled) with eight levels of precedence. We change the type of the place from T…
Graphical feedback
…indicates that an item can be resized. The directions of the arrow heads indicate which direction the item can be resized, e.g.. horizontally , vertically, or both simultaneously. The hourglass…
Help entry in index
…the subentries for Help to the work space will attempt to open online versions of web pages. An Internet connection is, therefore, required to view the web pages for Homepage,…
Queue system example
…is busy processing a job. The function expTime is used to generate integer values that are approximately exponentially distributed with a mean value determined by the parameter mean. The function…
Ethernet Network Parametric Models
These models are contributed by Dmitry Zaitsev. We list models without going thru them in too much detail, so listing does not imply that we endorse them or any papers…
