symmetri.h File Reference

#include <set>
#include "symmetri/callback.h"
#include "symmetri/tasks.h"
#include "symmetri/types.h"

Go to the source code of this file.

Classes
class	symmetri::PetriNet
	PetriNet exposes the possible constructors to create PetriNets. It also allows the user to register a Callback to a transition, or to get a handle for input-transitions. More...