petri module basic implementation