A Trace Semantics for Petri Nets (Extended Abstract).

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Browse the full ICALP paper archive.