public class PNEncoderPNML extends AbstractPNEncoder
GsPetriNetExport.
PNML tools/format:
Thread.State, Thread.UncaughtExceptionHandlerddmanager, functions, len, nodeOrdermodel, streamscanceledMAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY| Constructor and Description |
|---|
PNEncoderPNML(LogicalModel model) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
doExport(String netName,
List<NodeInfo> v_no,
List[] t_transition,
byte[][] t_markup,
OutputStreamWriter fout) |
export, getInitialstate, setInitialStateperformTask, setDestinationbackground, call, cancel, getResult, getStatus, runactiveCount, 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, yieldequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitsetDestination, setDestinationbackground, cancel, getResult, getStatus, setParameter, setParameters, setParameterspublic PNEncoderPNML(LogicalModel model)
protected void doExport(String netName, List<NodeInfo> v_no, List[] t_transition, byte[][] t_markup, OutputStreamWriter fout) throws IOException
doExport in class AbstractPNEncoderIOExceptionCopyright © 2012–2020. All rights reserved.