Open the "CSPN-Tools" folder.

Here you can see the "CSPN-Tools.clearing" and the "CSPN-Tools.inhibitor".

CSPN-Tools.clearing edge
The clearing edge removes all markers from a place, if the connected transition switches. It is not a condition to this transition! It may be very efficient to your petri-net in some cases. Use it carefuly!

CSPN-Tools.inhibitor edge
The inhibitor edge is a condition to the following transition. The transition can switch only, if no markers are on the connected place. In response of switching, the edge does move no markers! Also this edge will be very efficient in some petri-net cases.
(Note:This edge makes the petri-nets turing-complete)

Both edges can only be used "pre-transition" that means in front of a transition!

Standart edges
Further inside the "edge weight" folder, you can find standart edges. One for post-transition and one for pre-transition usage.
A standart edge does only change the value of markers, which is moved from a place on a transition-switch.

The subnet
You can use a subnet inside your petri-net by copy the subnet inside this folder, to your netclass. Now you can modyfy this subnet, and wire a name to it, inside the main-net.

-- AlexanderSchwinn - 06 Aug 2007
Edit | Attach | Print version |  PDF | History: r3 < r2 < r1 | Backlinks | View wiki text | Edit WikiText | More topic actions...
Topic revision: r1 - 2007-08-06, AlexanderSchwinn
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding GSI Wiki? Send feedback
Imprint (in German)
Privacy Policy (in German)