org.colomoto.biolqm.io.petrinet

Class PNEncoderINA

java.lang.Object

java.lang.Thread

org.colomoto.common.task.AbstractTask<Boolean>

org.colomoto.biolqm.io.BaseExporter

org.colomoto.biolqm.io.petrinet.AbstractPNEncoder

org.colomoto.biolqm.io.petrinet.PNEncoderINA

All Implemented Interfaces:

Runnable, Callable<Boolean>, ModelExporter, Task<Boolean>

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
 @

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

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

ddmanager, functions, len, nodeOrder

Fields inherited from class org.colomoto.biolqm.io.BaseExporter

model, streams

Fields inherited from class org.colomoto.common.task.AbstractTask

canceled

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

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, getInitialstate, setInitialState

Methods inherited from class org.colomoto.biolqm.io.BaseExporter

performTask, setDestination

Methods inherited from class org.colomoto.common.task.AbstractTask

background, call, cancel, getResult, getStatus, run

Methods inherited from class java.lang.Thread

activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.colomoto.biolqm.io.ModelExporter

setDestination, setDestination

Methods inherited from interface org.colomoto.common.task.Task

background, cancel, getResult, getStatus, setParameter, setParameters, setParameters

Methods inherited from interface java.util.concurrent.Callable

call

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