ElasticPetriNet (NETGRIF Application Engine 6.4.0 API)

java.lang.Object
- com.netgrif.application.engine.elastic.domain.ElasticPetriNet

public class ElasticPetriNet
extends java.lang.Object

- Constructor Summary
  
  Constructors
  Constructor Description
  
  ElasticPetriNet(PetriNet net)
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void update(ElasticPetriNet net)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ElasticPetriNet

public ElasticPetriNet(PetriNet net)

Method Detail

update

public void update(ElasticPetriNet net)