The Confluence Property for Petri Nets and its Applications.

Ioana Leahu, Ferucio Laurentiu Tiplea

Browse the full SYNASC paper archive.