de.huberlin.informatik.pnk.app
Class MarkingsToInitial

java.lang.Object
  |
  +--java.lang.Thread
        |
        +--de.huberlin.informatik.pnk.app.base.MetaApplication
              |
              +--de.huberlin.informatik.pnk.app.MarkingsToInitial

public class MarkingsToInitial

extends MetaApplication

This application sets the markings of all places to their initial marking value. The "initialMarking" is an extension of places.

Field Summary

static String

staticAppName

Fields inherited from class de.huberlin.informatik.pnk.app.base.MetaApplication

applicationControl, net

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

MarkingsToInitial(ApplicationControl ac)

Method Summary

void	run() Just runs the resetMarkings method of the net.

Methods inherited from class de.huberlin.informatik.pnk.app.base.MetaApplication

closeWindows, getApplicationControl, getApplicationName, getFocusedWindow, getInitialAppName, getInstanceKey, getMenus, getNet, getTagName, getWindows, hideApplication, isEditable, newNet, newNet, quit, quitApp, registerWindow, save, setApplicationName, setEditable, setFocusedWindow, setInstanceKey, setMenus, setNet, setNet, setNotEditable, setTagName, setWindowName, start_x, startApp, stopApp, toFront, unhideApplication, unregisterWindow

Methods inherited from class java.lang.Thread

activeCount, checkAccess, countStackFrames, currentThread, destroy, dumpStack, enumerate, getContextClassLoader, getName, getPriority, getThreadGroup, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setName, setPriority, sleep, sleep, start, stop, stop, suspend, toString, yield

Methods inherited from class java.lang.Object

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

Field Detail

staticAppName

public static String staticAppName

Constructor Detail

MarkingsToInitial

public MarkingsToInitial(ApplicationControl ac)

Method Detail

run

public void run()

Just runs the resetMarkings method of the net.

Overrides:

run in class MetaApplication

See Also:

Net