SEdit.Formalisms.Petri
Interface PetriPlaceBehavior

All Known Implementing Classes:
PetriPlace

public interface PetriPlaceBehavior


Method Summary
 void consume(int j)
           
 void consume(Object e)
           
 LList getColoredTokens()
           
 int getNumberTokens()
           
 boolean isEmpty()
           
 void produce(int j)
           
 void produce(Object e)
           
 

Method Detail

isEmpty

public boolean isEmpty()

getNumberTokens

public int getNumberTokens()

getColoredTokens

public LList getColoredTokens()

produce

public void produce(int j)

produce

public void produce(Object e)

consume

public void consume(int j)

consume

public void consume(Object e)


Copyright © J. Ferber, O. Gutknecht All Rights Reserved.