Package org.tweetyproject.logics.petri.syntax.reachability_graph

Class Marking

java.lang.Object

org.tweetyproject.logics.petri.syntax.reachability_graph.Marking

All Implemented Interfaces:

Comparable<Marking>, Node

public class Marking
extends Object
implements Node, Comparable<Marking>

A class to describe markings (i.e. a token distribution over all places) of a Petri net

Author:

Benedikt Knopp

Constructor Summary

Constructors

Constructor	Description
Marking()	Create a new instance
Marking(List<Place> places)	Create a new instance

Method Summary

Modifier and Type	Method	Description
int	compareTo(Marking that)
boolean	equals(Marking marking)	check if this marking deeply equals that marking
String	getId()	Return the id
Set<Place>	getPlaces()	Return getPlaces
int	getTokens(Place place)	Return the tokens at the place at this marking
int	getTokensByPlace(Place place)	Retrieve the number of tokens at the specified place at this marking
boolean	hasPlace(Place place)	Return hasPlace
void	putTokens(Place place, int token)	Specify the number of tokens at the place at this marking
void	setId(String id)	Setter id

Methods inherited from class java.lang.Object

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

Constructor Details

Marking

public Marking()

Create a new instance

Marking

public Marking(List<Place> places)

Create a new instance

Parameters:

places - the places that this marking does describe

Method Details

getId

public String getId()

Return the id

Returns:

the id

setId

public void setId(String id)

Setter id

Parameters:

id - the id to set

getTokens

public int getTokens(Place place)

Return the tokens at the place at this marking

Parameters:

place - the place of interest

Returns:

the tokens at the place at this marking

putTokens

public void putTokens(Place place,
 int token)

Specify the number of tokens at the place at this marking

Parameters:

place - the id of the place

token - the token

hasPlace

public boolean hasPlace(Place place)

Return hasPlace

Parameters:

place - hasPlace

Returns:

hasPlace

getPlaces

public Set<Place> getPlaces()

Return getPlaces

Returns:

getPlaces

equals

public boolean equals(Marking marking)

check if this marking deeply equals that marking

Parameters:

marking - that marking to compare this marking to

Returns:

true iff both markings describe the same set of places and the number of tokens are equal at each place

getTokensByPlace

public int getTokensByPlace(Place place)

Retrieve the number of tokens at the specified place at this marking

Parameters:

place - the place

Returns:

the number of tokens at the place

compareTo

public int compareTo(Marking that)

Specified by:

compareTo in interface Comparable<Marking>