A description of path expressions by Petri nets

Abstract
No abstract available