presented at event 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency Conference
keywords Computer Science Computer Science, Hardware & Architecture Computer Science, Theory & Methods INHIBITOR NETS SEMANTICS Science & Technology Technology canonical representations corntraces quotient monoids step sequences stratified order structures stratified partial orders traces