Petri net

Flowgraph Screenshot.
Petri net Screenshot.

Start modeling!

Getting Started

Create an account

Create a project

Build a Petri net

Petri net MGL

While you’re modeling the story, compare the definitions from the specification MGL file with the behavior of the modeling tool.

@style("model/PetriNet.style")
graphModel PetriNet {
   package info.scce.cinco.product.petrinetpaper
   nsURI "http://cinco.scce.info/product/petrinetpaper"
   iconPath "icons/petri-icon.png"
   diagramExtension "pn"

   @style(place,"${token}")
   node Place {
      outgoingEdges (PlaceTransitionArc)
      incomingEdges (TransitionPlaceArc)
      attr EInt as token
   }


   @style(transition)
   @contextMenuAction("info.scce.cinco.product.petrinetpaper.actions.TriggerTransition")
   @doubleClickAction("info.scce.cinco.product.petrinetpaper.actions.TriggerTransition")
   node Transition {
      outgoingEdges (TransitionPlaceArc)
      incomingEdges (PlaceTransitionArc)
   }

   @style(arc)
   edge PlaceTransitionArc { }

   @style(arc)
   edge TransitionPlaceArc { }

   @style(txt, "${label}")
   node Txt {
   	  attr EString as label
   }
}