Implements a st petri net on actor model