Correctness Notions for Petri Nets with Identifiers

Jan Martijn E.M. van der Werf*, Andrey Rivkin, Marco Montali, Artem Polyvyanyy

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

50 Downloads (Orbit)

Fingerprint

Dive into the research topics of 'Correctness Notions for Petri Nets with Identifiers'. Together they form a unique fingerprint.

Computer Science

Keyphrases