Class PNMLWriter

java.lang.Object

common.xml.PNMLWriter

All Implemented Interfaces:

CommonConstants, PNMLConstants, EngineNodeConstants

public class PNMLWriter
extends Object
implements PNMLConstants, CommonConstants

Title: PNML Writer

Description: Writes model information to a PNML file. This class provides methods for model export.

Author:

Lulai Zhu Date: 25-01-2017 Time: 12.00.00

Field Summary

Fields

Modifier and Type	Field	Description
static final int	ALL_RIGHT
static final int	MULTIPLE_CLASSES
static final int	NON_PETRI_NET_STATIONS

Fields inherited from interface CommonConstants

ALL_CLASSES, ALL_MODES, ALL_STATIONS, BALKINGSTRATEGY_DESCRIPTION, BATCH_SIMULATION_DESCRIPTION, BLOCKING_DESCRIPTION, CLASS_TYPE_CLOSED, CLASS_TYPE_OPEN, CLASSES_DESCRIPTION, COMPATIBILITIES_DESCRIPTION, CONNECTIONS_DESCRIPTION, CONVERSION_WARNING_DESCRIPTION, DIM_BUTTON_L, DIM_BUTTON_M, DIM_BUTTON_S, DIM_BUTTON_XL, DIM_BUTTON_XS, DISTRIBUTION_BATCH, DISTRIBUTION_BERNOULLI_DISCRETE, DISTRIBUTION_BINOMIAL_DISCRETE, DISTRIBUTION_BURST, DISTRIBUTION_COXIAN, DISTRIBUTION_DETERMINISTIC, DISTRIBUTION_ERLANG, DISTRIBUTION_EXPONENTIAL, DISTRIBUTION_GAMMA, DISTRIBUTION_HYPEREXPONENTIAL, DISTRIBUTION_LOGNORMAL, DISTRIBUTION_MAP, DISTRIBUTION_MMPP2, DISTRIBUTION_NORMAL, DISTRIBUTION_PARETO, DISTRIBUTION_PHASETYPE, DISTRIBUTION_POISSON_DISCRETE, DISTRIBUTION_REPLAYER, DISTRIBUTION_SHIFTED_GEOMETRIC_DISCRETE, DISTRIBUTION_UNIFORM, DISTRIBUTION_UNIFORM_DISCRETE, DISTRIBUTION_WEIBULL, DISTRIBUTION_ZIPF_DISCRETE, FINITE_BLOCK, FINITE_DROP, FINITE_RETRIAL, FINITE_WAITING, FORK_CLASS_SWITCH, FORK_COMBINATION, FORK_MULTI_BRANCH_CLASS_SWITCH, FORK_PROBABILITIES, heightScaling, HTML_END, HTML_FONT_NOR_END, HTML_FONT_NORM, HTML_FONT_TIT_END, HTML_FONT_TITLE, HTML_START, IMG_JABAICON, IMG_JMCHICON, IMG_JMODELICON, IMG_JMVAICON, IMG_JSIMICON, IMG_JWATICON, IMG_SUITEICON, INFINITE_CAPACITY, JABA, JMVA, JOIN_MIX, JOIN_NORMAL, JOIN_PARTIAL, JSIM, JWAT, LARGE_ICON_SIZE_MENU_BAR, LARGE_ICON_SIZE_TOOL_BAR, LDROUTING_DESCRIPTION, LDSERVICE_DESCRIPTION, MAX_GUI_HEIGHT_ABOUT, MAX_GUI_HEIGHT_COMMON, MAX_GUI_HEIGHT_DIALOG_DEFAULT, MAX_GUI_HEIGHT_JABA, MAX_GUI_HEIGHT_JMCH, MAX_GUI_HEIGHT_JMVA, MAX_GUI_HEIGHT_JSIM_DISTRIB, MAX_GUI_HEIGHT_JSIM_PROBLEMS, MAX_GUI_HEIGHT_JSIM_RESULTS, MAX_GUI_HEIGHT_JSIM_STAT_OUTPUT, MAX_GUI_HEIGHT_JWAT, MAX_GUI_HEIGHT_JWAT_COLOR, MAX_GUI_HEIGHT_JWAT_STARTSCREEN, MAX_GUI_HEIGHT_LDEDITING, MAX_GUI_HEIGHT_LDHELP, MAX_GUI_HEIGHT_LDROUTING, MAX_GUI_HEIGHT_LDSTRATEGY, MAX_GUI_HEIGHT_POLLING, MAX_GUI_HEIGHT_PSSERVER, MAX_GUI_HEIGHT_QUICKHTML, MAX_GUI_HEIGHT_SERVER_FEATURES, MAX_GUI_HEIGHT_STARTSCREEN, MAX_GUI_HEIGHT_WHATIF_PROGRESS, MAX_GUI_HEIGHT_WHATIF_RESULTS, MAX_GUI_WIDTH_ABOUT, MAX_GUI_WIDTH_COMMON, MAX_GUI_WIDTH_DIALOG_DEFAULT, MAX_GUI_WIDTH_JABA, MAX_GUI_WIDTH_JMCH, MAX_GUI_WIDTH_JMVA, MAX_GUI_WIDTH_JSIM_DISTRIB, MAX_GUI_WIDTH_JSIM_PROBLEMS, MAX_GUI_WIDTH_JSIM_RESULTS, MAX_GUI_WIDTH_JSIM_STAT_OUTPUT, MAX_GUI_WIDTH_JWAT, MAX_GUI_WIDTH_JWAT_COLOR, MAX_GUI_WIDTH_JWAT_STARTSCREEN, MAX_GUI_WIDTH_LDEDITING, MAX_GUI_WIDTH_LDHELP, MAX_GUI_WIDTH_LDROUTING, MAX_GUI_WIDTH_LDSTRATEGY, MAX_GUI_WIDTH_POLLING, MAX_GUI_WIDTH_PSSERVER, MAX_GUI_WIDTH_QUICKHTML, MAX_GUI_WIDTH_SERVER_FEATURES, MAX_GUI_WIDTH_STARTSCREEN, MAX_GUI_WIDTH_WHATIF_PROGRESS, MAX_GUI_WIDTH_WHATIF_RESULTS, MAX_NUMBER_OF_CLASSES, MAX_NUMBER_OF_GROUPS, MAX_NUMBER_OF_PHASES, MAX_NUMBER_OF_REGIONS, MAX_NUMBER_OF_STATIONS, MAX_SMALL_ICON_SCREEN_HEIGHT, MAX_SMALL_ICON_SCREEN_WIDTH, MEASURE_LOG_DESCRIPTION, MEASURES_DESCRIPTION, METRIC_CONFIGURATIONS_DESCRIPTION, PAR1, PAR2, PARAMETRIC_ANALYSIS_DESCRIPTION, QUEUE_STRATEGY_DPS, QUEUE_STRATEGY_EDD, QUEUE_STRATEGY_EDF, QUEUE_STRATEGY_FCFS, QUEUE_STRATEGY_FCFS_PR, QUEUE_STRATEGY_GPS, QUEUE_STRATEGY_LCFS, QUEUE_STRATEGY_LCFS_PR, QUEUE_STRATEGY_LEPT, QUEUE_STRATEGY_LJF, QUEUE_STRATEGY_PS, QUEUE_STRATEGY_QBPS, QUEUE_STRATEGY_RAND, QUEUE_STRATEGY_SEPT, QUEUE_STRATEGY_SJF, QUEUE_STRATEGY_SRPT, QUEUE_STRATEGY_TBS, REFSOURCE_DESCRIPTION, ROUTING_CLASS_SWITCH, ROUTING_DISABLED, ROUTING_FASTESTSERVICE, ROUTING_LEASTUTILIZATION, ROUTING_LOADDEPENDENT, ROUTING_POWER_OF_K, ROUTING_PROBABILITIES, ROUTING_RANDOM, ROUTING_ROUNDROBIN, ROUTING_SHORTESTQL, ROUTING_SHORTESTRT, ROUTING_WEIGHTED_ROUNDROBIN, ROW_HEIGHT, SEMAPHORE_NORMAL, SERVER_FEATURE_CLASS_PARALLELISM, SERVER_FEATURE_DELAY_OFF_STRATEGIES, SERVER_FEATURE_PREEMPTIVE_STRATEGIES, SERVER_FEATURE_SCHEDULING_POLICY, SERVER_FEATURE_SERVER_COMPATIBILITIES, SERVER_FEATURE_SERVER_NAMES, SERVER_FEATURE_SERVERS_PER_SERVER_TYPE, SERVER_FEATURE_SETUP_STRATEGIES, SERVER_FEATURE_SWITCHOVER_STRATEGIES, SERVER_FEATURE_VACATION_STRATEGY, SERVER_PARAMETER_ADVANCED_FEATURES, SERVER_SETTINGS_DESCRIPTION, SERVER_VACATION_DESCRIPTION, SERVICE_DISABLED, SERVICE_LOAD_DEPENDENT, SERVICE_LOAD_INDEPENDENT, SERVICE_ZERO, SIMENGINE, SIMULATION_DESCRIPTION, SMALL_ICON_SIZE_MENU_BAR, SMALL_ICON_SIZE_TOOL_BAR, STATION_NAMES, STATION_QUEUE_STRATEGY_NON_PREEMPTIVE, STATION_QUEUE_STRATEGY_NON_PREEMPTIVE_PRIORITY, STATION_QUEUE_STRATEGY_POLLING, STATION_QUEUE_STRATEGY_POLLING_EXHAUSTIVE, STATION_QUEUE_STRATEGY_POLLING_GATED, STATION_QUEUE_STRATEGY_POLLING_LIMITED, STATION_QUEUE_STRATEGY_PREEMPTIVE, STATION_QUEUE_STRATEGY_PREEMPTIVE_PRIORITY, STATION_QUEUE_STRATEGY_PS, STATION_QUEUE_STRATEGY_PSSERVER, STATION_QUEUE_STRATEGY_PSSERVER_PRIORITY, STATION_SCHEDULING_POLICY_ALFS, STATION_SCHEDULING_POLICY_ALIS, STATION_SCHEDULING_POLICY_FAIRNESS, STATION_SCHEDULING_POLICY_FSF, STATION_SCHEDULING_POLICY_ORDER, STATION_SCHEDULING_POLICY_RAIS, STATION_TYPE_CLASSSWITCH, STATION_TYPE_DELAY, STATION_TYPE_FORK, STATION_TYPE_JOIN, STATION_TYPE_LOGGER, STATION_TYPE_PLACE, STATION_TYPE_ROUTER, STATION_TYPE_SCALER, STATION_TYPE_SEMAPHORE, STATION_TYPE_SERVER, STATION_TYPE_SINK, STATION_TYPE_SOURCE, STATION_TYPE_TERMINAL, STATION_TYPE_TRANSITION, STATION_VACATION_POLICY_BERNOULLI, STATION_VACATION_POLICY_MULTIPLE, STATION_VACATION_POLICY_NONE, STATION_VACATION_POLICY_SINGLE, STATIONS_DESCRIPTION, STATIONS_PAR_DESCRIPTION, SWITCHOVER_ZERO, TIMING_STRATEGY_IMMEDIATE, TIMING_STRATEGY_TIMED, WARNING_CLASS, WARNING_CLASS_INCOMING_ROUTING, WARNING_CLASS_OUTGOING_ROUTING, WARNING_CLASS_STATION, WARNING_INCOMING_ROUTING, WARNING_MULTI_CLASS, WARNING_OUTGOING_ROUTING, WARNING_STATION, widthScaling

Fields inherited from interface PNMLConstants

PNML_JSIM, PNML_JSIM_E_ARC_TYPE, PNML_JSIM_E_DISTRIBUTION, PNML_JSIM_E_DISTRIBUTION_PARAMETER, PNML_JSIM_E_DISTRIBUTION_PARAMETER_NAME, PNML_JSIM_E_DISTRIBUTION_PARAMETER_VALUE, PNML_JSIM_E_DISTRIBUTION_TYPE, PNML_JSIM_E_MATRIX, PNML_JSIM_E_MATRIX_VECTOR, PNML_JSIM_E_MATRIX_VECTOR_ENTRY, PNML_JSIM_E_NET_TOKENS, PNML_JSIM_E_NET_TOKENS_CLASS_NAME, PNML_JSIM_E_NET_TOKENS_CLASS_TYPE, PNML_JSIM_E_NET_TOKENS_GRAPHICS, PNML_JSIM_E_NET_TOKENS_GRAPHICS_COLOR, PNML_JSIM_E_NET_TOKENS_REFERENCE_NODE, PNML_JSIM_E_NODE_GRAPHICS, PNML_JSIM_E_NODE_GRAPHICS_ROTATE, PNML_JSIM_E_PLACE_CAPACITY, PNML_JSIM_E_TRANSITION_FIRING_PRIORITY, PNML_JSIM_E_TRANSITION_FIRING_TIME_DISTRIBUTION, PNML_JSIM_E_TRANSITION_FIRING_WEIGHT, PNML_JSIM_E_TRANSITION_NUMBER_OF_SERVERS, PNML_JSIM_E_TRANSITION_TIMING_STRATEGY, PNML_JSIM_V_ARC_TYPE_INHIBITOR, PNML_JSIM_V_ARC_TYPE_NORMAL, PNML_JSIM_V_NET_TOKENS_CLASS_TYPE_CLOSED, PNML_JSIM_V_NET_TOKENS_CLASS_TYPE_OPEN, PNML_JSIM_V_TRANSITION_TIMING_STRATEGY_IMMEDIATE, PNML_JSIM_V_TRANSITION_TIMING_STRATEGY_TIMED

Constructor Summary

Constructors

Constructor	Description
PNMLWriter()

Method Summary

Modifier and Type	Method	Description
static int	checkModel(CommonModel model)	Checks if an internal model can be exported to a PNML file
static boolean	exportModel(File file, CommonModel model)	Exports an internal model to a PNML file

Methods inherited from class Object

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

Field Details

ALL_RIGHT

public static final int ALL_RIGHT

See Also:

• Constant Field Values

MULTIPLE_CLASSES

public static final int MULTIPLE_CLASSES

See Also:

• Constant Field Values

NON_PETRI_NET_STATIONS

public static final int NON_PETRI_NET_STATIONS

See Also:

• Constant Field Values

Constructor Details

PNMLWriter

public PNMLWriter()

Method Details

checkModel

public static int checkModel(CommonModel model)

Checks if an internal model can be exported to a PNML file

Parameters:

model - data structure of the model

Returns:

integer indicating the result of the check

exportModel

public static boolean exportModel(File file,
 CommonModel model)
                           throws Exception

Exports an internal model to a PNML file

Parameters:

file - file that the model is exported to

model - data structure of the model

Returns:

true if the model was exported, false otherwise

Throws:

Exception