Paolo Baldan Andrea Corradini Barbara König Stefan Schwoon McMillan's Complete Prefix for Contextual Nets. 199-220 2008 1 T. Petri Nets and Other Models of Concurrency http://dx.doi.org/10.1007/978-3-540-89287-8_12 journals/topnoc/2008-1 db/journals/topnoc/topnoc1.html#BaldanCKS08