Petri Net Example

This is an example project of a petri net.

Concept Editor

Shape DSL

`node placeNode for Place { edges { arcPlaceTransition } style: placeStyle sizeMin(width: 200, height: 400) sizeMax(width: 200, height: 400) resizing(horizontal: false, vertical: false, proportional: false) ellipse { size(width: 50, height: 50) position(x: 0, y: 50) } }

node tokenNode for Token { edges {} style: tokenStyle sizeMin(width: 200, height: 400) sizeMax(width: 200, height: 400) resizing(horizontal: false, vertical: false, proportional: false) ellipse { size(width: 10, height: 10) position(x: 0, y: 50) } }

node transitionNode for Transition { edges { arcTransitionPlace } style: transitionStyle sizeMin(width: 200, height: 400) sizeMax(width: 200, height: 400) resizing(horizontal: false, vertical: false, proportional: false) rectangle { size(width: 20, height: 50) position(x: 0, y: 50) } }

edge arcPlaceTransition for Place.Arc { target: Transition style: defaultEdge placing { offset: 20.0 polygon { style: arrow point(x: 0, y: 0) point(x: 10, y: 5) point(x: 7, y: 0) point(x: 10, y: -5) } } }

edge arcTransitionPlace for Transition.Arc2 { target: Place style: defaultEdge placing { offset: 20.0 polygon { style: arrow point(x: 0, y: 0) point(x: 10, y: 5) point(x: 7, y: 0) point(x: 10, y: -5) } } }`