A systems theory view of Petri nets