Package org.woped.qualanalysis.soundness.builder.currentmarking

Examples of org.woped.qualanalysis.soundness.builder.currentmarking.CurrentMarking


     * @param lolNet LowLevelPetriNet to calculate current marking from
     * @param useVirtualTokens true if the virtual tokenCount must be used for calculation (necessary for tokengame-support)
     * @return
     */
    public static IMarking createCurrentMarking(LowLevelPetriNet lolNet, Boolean useVirtualTokens) {
      return new CurrentMarking(lolNet, useVirtualTokens).getMarking();
    }
View Full Code Here

TOP

Related Classes of org.woped.qualanalysis.soundness.builder.currentmarking.CurrentMarking

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.