Transactions on Petri Nets and other Models of Concurrency XIV
scientific article