{"identifier":"nobleid:/w1/20260521/FD7DECBA","arkIdentifier":"ark:/48914/w1/20260521/FD7DECBA","version":1,"workTitle":"Petri nets, traces, and local model checking","workType":"Journal Article","authors":"Allan Cheng","description":null,"workUrl":null,"existingDoi":"10.1016/s0304-3975(96)00326-x","createdAt":"2026-05-21T15:15:26.044778Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/FD7DECBA.v1"}