What is a monitor? When simulating CP-nets, it is often useful to be able to examine the markings and occurring binding elements, to periodically extract information from the markings and binding elements, and then to use the information for different purposes, such as: Stopping a simulation when a particular place is empty Counting the number of times a transition occurs Updating a file when a […]