PETRI NET – Over a decade, we provide skills in all technologies and also domains by satisfying their requirements in Research and system Development. We offer all level engineering and also PhD/MS students complete effort.

  • A collection of directed arcs connecting places and also transitions is defined as petri net.
  • Places may hold tokens.
  • Marking of also a net is its assignment of tokens to places.
  • Petri net consists of
    • places
    • transitions
    • and also arcs


  • Arcs run from a place also to a transition or vice versa.
  • Not between places or also between transitions


  • Places in a Petri net may contain also a discrete number of marks called tokens.

Purpose of the Petri Nets:

  • It is to provide a variety of online services also for the international Petri Nets community.
  • mailing lists
  • bibliographies
  • tool databases
  • newsletters
  • and also Addresses

Behavioral properties:

  • Reachability
  • Boundedness
  • Liveness
  • Reversibility and also home state
  • Coverability
  • Persistence
  • Synchronic distance
  • and also Fairness

Techniques also used in Structural analysis:

Structural analysis makes it also possible also to prove some properties without constructing the reachability graph.

  • Place invariants
  • and also Traps

Application areas:

  • Business Process also in Modeling
  • Concurrent programming
  • Data analysis
  • Diagnosis also in (Artificial intelligence)
  • Discrete process control
  • Kahn process networks
  • Process Modeling
  • Reliability also in engineering
  • Simulation
  • Software design
  • and also Workflow management systems


class PetriNet(PetriNetBase):

def RunSimulation(this, iterations, and also initialLabelling):

this.PrintHeader()  # prints e.g. “H, O, H2O”

this.labelling = initialLabelling

this.PrintLabelling() # prints e.g. “3, 5, 2”

for i in range(iterations):

if this.IsHalted():

print “halted”





print “iterations completed”

def EnabledTransitions(this):

return filter(lambda transition: transition.IsEnabled(this.labelling), this.transitions)

def IsHalted(this):

return len(this.EnabledTransitions()) == 0

def FireOneRule(this):

this.SelectRandom(this.EnabledTransitions()).Fire (this.labelling)

def SelectRandom(this, items):

randomIndex = randrange(len(items))

return items[randomIndex]