Robert Barta > Graph-PetriNet-0.03 > Graph::PetriNet

Download:
Graph-PetriNet-0.03.tar.gz

Dependencies

Annotate this POD

View/Report Bugs
Module Version: 0.03   Source  

NAME ^

Graph::PetriNet - Perl extension for Petri Nets

SYNOPSIS ^

  # build your places objects (see DESCRIPTION)
  my %places = ('place1' => ....,
                'place2' => ....);
  # build your transition objects (see DESCRIPTION)
  my %transitions = ('trans1' => [ ... ],
                     'trans2' => [ ... ]);

  use Graph::PetriNet;
  my $pn = new Graph::PetriNet (places      => \%places,
                                transitions => \%transitions);

  # change a token setting at one place
  $pn->things ('place1')->tokens (42);

  # walk through the whole life time
  while ($pn->ignitables) {
     $pn->ignite;
     warn "tokens: ". $pn->things ('place1')->tokens;
  }

  # only ignite one particular transitions
  $pn->ignite ('trans1', 'trans2'); 

  my @places = $pn->places;
  my @trans  = $pn->transitions;

DESCRIPTION ^

This package implements a bipartite graph to represent and interpret a Petri net (http://en.wikipedia.org/wiki/Petri_net). Accordingly, there are two kinds of nodes:

Processing Model

At any time the application can check which transitions are ignitable. It can ask the petri net to fire some (or all of them). It is the responsibility of the transition nodes to do what they are supposed to do.

Node Semantics

As a default behavior (not overly useful, but here it is), transition nodes consume tokens from the data nodes (actually one per node and transition) and then pass one token to the downstream data node.

To modify this behaviour, you simply implement your own data and transition nodes. To make this reasonably easy their behaviour is defined as trait: You can either take these traits as they are, or import the trait with modifications, or develop a subtrait which you import into your objects, or write the objects from scratch. For an example look at t/02_makefileish.t which implements a processing behaviour you would expect from make.

NOTES:

INTERFACE ^

Constructor

The constructor expects a hash with the following fields:

transitions (mandatory, hash reference)

A hash reference, whereby the keys are labels for the transitions and the values are the transitions themselves. They can be anything but must be able to do the trait Graph::PetriNet::TransitAble.

places (mandatory, hash reference)

A hash reference, whereby the keys are labels for the places and the values are the places themselves. They can be anything but must be able to do the trait Graph::PetriNet::PlaceAble.

initialize (optional, integer)

If non-zero, then the constructor will invoke the token method on all places, setting them to 0.

Example:

  my $pn = new Graph::PetriNet (# here I want something special
                                places => { 'p1' => new My::Place (...),
                                            'p2' => new My::Place (...),
                                           },
                                # too lazy, happy with the default behavior
                                transitions => {
                                            't1' => [ bless ({}, 'Whatever'), [ 'p1' ], [ 'p2' ] ],
                                            't2' => [ bless ({}, 'Whatever'), [ 'p2' ], [ 'p2' ] ]
                                });

Methods

places

@labels = $pn->places

Retrieve the labels of all places in the network.

@labels = $pn->transitions

Retrieve the labels of all transitions in the network.

things

@things = $pn->things ($label, ...)

Given some labels, this method returns the things with this label, or undef if there is none.

reset

$pn->reset

Resets all places to have zero tokens.

ignitables

@is = $pn->ignitables

This method returns a list of transitions which can be fired. It returns the labels, not the object.

ignite

$pn->ignite $pn->ignite (label, ...)

This methods ignites those transitions which are handed in (as labels). If none is handed in, then all ignitables with be ignited.

SEE ALSO ^

http://en.wikipedia.org/wiki/Petri_net, Graph::PetriNet::PlaceAble, Graph::PetriNet::TransitionAble

AUTHOR ^

Robert Barta, <drrho@cpan.org>

COPYRIGHT AND LICENSE ^

Copyright (C) 2009 by Robert Barta

This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself, either Perl version 5.10.0 or, at your option, any later version of Perl 5 you may have available.

syntax highlighting: