piCalculusPetriLncs95