public class PNEncoderPNML extends AbstractPNEncoder
GsPetriNetExport.
PNML tools/format:
ddmanager, functions, len, nodeOrder| 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) |
exportpublic 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-2017. All Rights Reserved.