org.colomoto.biolqm.io.petrinet

Class PNEncoderINA

java.lang.Object

org.colomoto.biolqm.io.petrinet.AbstractPNEncoder

org.colomoto.biolqm.io.petrinet.PNEncoderINA

public class PNEncoderINA
extends AbstractPNEncoder

Export a regulatory graph to Petri net (INA format). The core of the translation is in GsPetriNetExport.

Tools:

• INA: http://www.informatik.hu-berlin.de/~Estarke/ina.html
• PED: http://www-dssz.informatik.tu-cottbus.de/~wwwdssz

the INA file is composed of 3 parts:

• the first part (header: P M PRE,POST NETZ 0:title) is the most important one. each row represents a place and give it's number, it's initial markup and the list of incoming and outgoing transitions
• the second part (header: place nr. name capacity time) gives more data on places
• the third part (header: trans nr. name priority time) gives more data on transitions

example INA file:

 P   M   PRE,POST  NETZ 0:test
 1 0  1
 2 1  1:2
 3 0  , 1
 @
 place nr.             name capacity time
      1: pl1                 65535    0
      2: pl2                 65535    0
      3: source              65535    0
 @
 trans nr.             name priority time
      1: t1                      0    0
 @

Field Summary

Fields inherited from class org.colomoto.biolqm.io.petrinet.AbstractPNEncoder

ddmanager, functions, len, nodeOrder

Constructor Summary

Constructors

Constructor and Description
PNEncoderINA(LogicalModel model)

Method Summary

Modifier and Type	Method and Description
protected void	doExport(String netName, List<NodeInfo> nodes, List[] t_transition, byte[][] t_markup, OutputStreamWriter out)

Methods inherited from class org.colomoto.biolqm.io.petrinet.AbstractPNEncoder

export

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PNEncoderINA

public PNEncoderINA(LogicalModel model)

Method Detail

doExport

protected void doExport(String netName,
                        List<NodeInfo> nodes,
                        List[] t_transition,
                        byte[][] t_markup,
                        OutputStreamWriter out)
                 throws IOException

Specified by:

doExport in class AbstractPNEncoder

Throws:

IOException