@inproceedings(BalChaHaa11,
 author       = "Sandie Balaguer and Thomas Chatain and Stefan Haar",
 year         = "2011",
 title        = "Building Tight Occurrence Nets from Reveals Relations",
 booktitle    = "Proc.\ ACSD",
)
@article(asynchdiag,
 author       = "Albert Benveniste and Eric Fabre and Stefan Haar and Claude Jard",
 year         = "2003",
 title        = "Diagnosis of asynchronous discrete-event systems: a net unfolding approach",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "48",
 number       = "5",
 pages        = "714--727",
 doi          = "10.1109/TAC.2003.811249",
)
@article(BPEng,
 author       = "Joost Engelfriet",
 year         = "1991",
 title        = "Branching Processes of {Petri} Nets",
 journal      = "Acta Informatica",
 volume       = "28",
 number       = "6",
 pages        = "575--591",
 doi          = "10.1007/BF01463946",
)
@article(esparza-1,
 author       = "Javier Esparza and Stefan R{\"o}mer and Walter Vogler",
 year         = "2002",
 title        = "An Improvement of {McMillan's} Unfolding Algorithm",
 journal      = "Formal Methods in System Design",
 volume       = "20",
 number       = "3",
 pages        = "285--310",
)
@article(cantavoid,
 author       = "Eric Fabre and Albert Benveniste",
 year         = "2007",
 title        = "Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them",
 journal      = "Discrete Event Dynamic Systems",
 volume       = "17",
 number       = "3",
 pages        = "355--403",
 doi          = "10.1007/s10626-007-0016-1",
)
@article(distdiag,
 author       = "Eric Fabre and Albert Benveniste and Stefan Haar and Claude Jard",
 year         = "2005",
 title        = "Distributed Monitoring of Concurrent and Asynchronous Systems",
 journal      = "Discrete Event Dynamic Systems",
 volume       = "15",
 number       = "1",
 pages        = "33--84",
 doi          = "10.1007/s10626-005-5238-5",
)
@inproceedings(Goltz87,
 author       = "Ursula Goltz",
 year         = "1987",
 title        = "Synchronic distance",
 booktitle    = "Advances in Petri nets 1986, part I on Petri nets: central models and their properties",
 publisher    = "Springer-Verlag",
 address      = "London, UK",
 pages        = "338--358",
 doi          = "10.1007/BFb0046844",
 url          = "http://portal.acm.org/citation.cfm?id=28641.28652",
)
@inproceedings(grahlmann1997pep,
 author       = "Bernd Grahlmann",
 year         = "1997",
 title        = "The {PEP} tool",
 booktitle    = "Computer Aided Verification",
 series       = "LNCS 1254",
 pages        = "440--443",
 doi          = "10.1007/3-540-63166-6\_43",
)
@conference(CDC07,
 author       = "Stefan Haar",
 year         = "2007",
 title        = "Unfold and cover: Qualitative Diagnosability for {Petri} Nets",
 booktitle    = "Proc.\ CDC",
 organization = "IEEE",
 pages        = "1886--1891",
 doi          = "10.1109/CDC.2007.4434691",
)
@conference(CDC09,
 author       = "Stefan Haar",
 year         = "2009",
 title        = "Qualitative Diagnosability of labeled {Petri} nets revisited",
 booktitle    = "Proc.\ CDC",
 organization = "IEEE",
 pages        = "1248--1253",
 doi          = "10.1109/CDC.2009.5400917",
)
@article(Haar-tac10,
 author       = "Stefan Haar",
 year         = "2010",
 title        = "Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets",
 journal      = "IEEE Transactions on Automatic Control",
 volume       = "55",
 number       = "10",
 pages        = "2310--2320",
 doi          = "10.1109/TAC.2010.2063490",
)
@article(KhoKouVog:CAV02,
 author       = "Victor Khomenko and Maciej Koutny and Walter Vogler",
 year         = "2003",
 title        = "Canonical Prefixes of {Petri} Net Unfoldings",
 journal      = "Acta Informatica",
 volume       = "40",
 number       = "2",
 pages        = "95--118",
 doi          = "10.1007/s00236-003-0122-y",
)
@inproceedings(McMillan,
 author       = "Kenneth L. McMillan",
 year         = "1992",
 title        = "Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits",
 booktitle    = "Proc.\ CAV",
 series       = "LNCS 663",
 publisher    = "Springer",
 pages        = "164--177",
 doi          = "10.1007/3-540-56496-9\_14",
)
@article(Murata,
 author       = "Tadao Murata",
 year         = "1989",
 title        = "{Petri} nets: Properties, analysis and applications",
 journal      = "Proc.\ IEEE",
 volume       = "77",
 number       = "4",
 pages        = "541--580",
 doi          = "10.1109/5.24143",
)
@book(Peterson,
 author       = "James L. Peterson",
 year         = "1981",
 title        = "{Petri} Net Theory and the Modeling of Systems",
 publisher    = "Prentice-Hall",
)
@book(Reisigbook,
 author       = "Wolfgang Reisig",
 year         = "1985",
 title        = "Petri Nets: An Introduction",
 series       = "Monographs in Theoretical Computer Science. An EATCS Series",
 volume       = "4",
 publisher    = "Springer",
)
@misc(mole,
 author       = "Stefan Schwoon",
 title        = "{The \emph {Mole} tool.}",
 howpublished = "\url {http://www.lsv.ens-cachan.fr/ schwoon/tools/mole/}",
)
@inproceedings(zhao:synchronic,
 author       = "Wen Zhao and Yu Huang and Chong-Yi Yuan",
 year         = "2008",
 title        = "Synchronic Distance Based Workflow Logic Specification",
 booktitle    = "Proc.\ HPCC",
 pages        = "819--824",
 doi          = "10.1109/HPCC.2008.48",
)