A general way to put time in Petri nets

Abstract
No abstract available