4.PetriNET document - larics/Petri.Net GitHub Wiki

This is the top object of Petri .NET Simulator application. It holds all important information of your Petri net. As mentioned before, it consists of three different views used for drawing, editing, simulating and analyzing Petri net.

Initially, when new document is created, Properties window shows properties of PetriNet Document object. These properties include:

• PetriNetType: determines the type of Petri net. It is used for applying appropriate simulation algorithm. Depending on its value properties of some other objects are shown/hidden. It can take two different values (shown on Figure 4.1.): TimeInvariant for static Petri nets or PTimed for dynamic Petri nets (processing time is assigned to places)

Figure 4.1. Properties window for PetriNet Document object if PetriNetType is TimeInvariant.

• ShowWeight1: determines whether or not weights of arcs that have weight 1 are shown in the model.
• TokenGameAnimation: determines whether or not token transitions from one place to another will be animated in simulation.

In case PTimed PetriNetType is selected two additional properties appear (Figure 4.2). They are used for simulation:

• EndTime : determines a length of simulation (in milliseconds)
• Td : define a sample time interval (in milliseconds)

Figure 4.2. Object Inspector for PetriNet Document object if PetriNetType is PTimed.