@article(Aal98,
 author       = "W.M.P.v. Aalst",
 year         = "1998",
 title        = "The application of {Petri} nets to workflow management",
 journal      = "J. of Circuits, Systems and Computers",
 volume       = "8",
 pages        = "21--66",
 doi          = "10.1142/S0218126698000043",
)
@inproceedings(Abdulla+others/03/Deciding,
 author       = "P.A. Abdulla and A. Bouajjani and J. d'Orso",
 year         = "2003",
 title        = "Deciding Monotonic Games",
 booktitle    = "Proc. CSL",
 series       = "LNCS",
 volume       = "2803",
 publisher    = "Springer-Verlag",
 pages        = "1--14",
 doi          = "10.1007/978-3-540-45220-1\_1",
)
@article(Alur+Henziger+Kupferman/02/ATL,
 author       = "R. Alur and T.A. Henzinger and O. Kupferman",
 year         = "2002",
 title        = "Alternating-time temporal logic",
 journal      = "Journal of the ACM",
 volume       = "49",
 number       = "5",
 pages        = "672--713",
 doi          = "10.1145/585265.585270",
)
@book(BF88,
 author       = "E. Best and C. Fern\'{a}ndez",
 year         = "1988",
 title        = "Nonsequential Processes",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-73483-0",
)
@article(Buy/05/Supervisory,
 author       = "U. Buy and H. Darabi and M. Lehene and V. Venepally",
 year         = "2005",
 title        = "Supervisory Control of Time {Petri} Nets Using Net Unfolding",
 journal      = "Annual International Computer Software and Applications Conference",
 volume       = "2",
 pages        = "97--100",
 doi          = "10.1109/COMPSAC.2005.148",
)
@article(Eng91,
 author       = "J. Engelfriet",
 year         = "1991",
 title        = "Branching processes of {Petri} nets",
 journal      = "Acta Informatica",
 volume       = "28",
 number       = "6",
 pages        = "575--591",
 doi          = "10.1007/BF01463946",
)
@article(Esp94,
 author       = "J. Esparza",
 year         = "1994",
 title        = "Model checking using net unfoldings",
 journal      = "Science of Computer Programming",
 volume       = "23",
 pages        = "151--195",
 doi          = "10.1016/0167-6423(94)00019-0",
)
@book(EH08,
 author       = "J. Esparza and K. Heljanko",
 year         = "2008",
 title        = "Unfoldings -- A Partial-Order Approach to Model Checking",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-77426-6",
)
@inproceedings(Finkbeiner+Schewe/05/Distributed,
 author       = "B. Finkbeiner and S. Schewe",
 year         = "2005",
 title        = "Uniform Distributed Synthesis",
 booktitle    = "Proc. LICS",
 publisher    = "IEEE Computer Society Press",
 pages        = "321--330",
 doi          = "10.1109/LICS.2005.53",
)
@inproceedings(Gastin+others/04/Distributed,
 author       = "P. Gastin and B. Lerman and M. Zeitoun",
 year         = "2004",
 title        = "Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems",
 booktitle    = "Proc. FSTTCS",
 pages        = "275--286",
 doi          = "10.1007/978-3-540-30538-5\_23",
)
@inproceedings(Genest+others/ICALP2013/Asynchronous,
 author       = "B. Genest and H. Gimbert and A. Muscholl and I. Walukiewicz",
 year         = "2013",
 title        = "Asynchronous Games over Tree Architectures",
 booktitle    = "Proc. ICALP'13, Part II",
 series       = "LNCS",
 volume       = "7966",
 publisher    = "Springer",
 pages        = "275--286",
 doi          = "10.1007/978-3-642-39212-2\_26",
)
@phdthesis(Giua/92/Petri,
 author       = "A. Giua",
 year         = "1992",
 title        = "Petri Nets as Discrete Event Models for Supervisory Control",
 school       = "Rensselaer Polytechnic Institute",
)
@book(Hoa85,
 author       = "C.A.R. Hoare",
 year         = "1985",
 title        = "Communicating Sequential Processes",
 publisher    = "Prentice Hall",
 doi          = "10.1145/359576.359585",
)
@article(KKV03,
 author       = "V. Khomenko and M. Koutny and W. Vogler",
 year         = "2003",
 title        = "Canonical prefixes of {Petri} net unfoldings",
 journal      = "Acta Informatica",
 volume       = "40",
 pages        = "95--118",
 doi          = "10.1007/3-540-45657-0\_49",
)
@inproceedings(Kupferman+Vardi/01/Synthesizing,
 author       = "O. Kupferman and M.Y. Vardi",
 year         = "2001",
 title        = "Synthesizing Distributed Systems",
 booktitle    = "Proc. LICS",
 publisher    = "IEEE Computer Society Press",
 pages        = "389--398",
 doi          = "10.1109/LICS.2001.932514",
)
@inproceedings(MadhusudanTY/05/MSO,
 author       = "P. Madhusudan and P.S. Thiagarajan and S. Yang",
 year         = "2005",
 title        = "The {MSO} Theory of Connectedly Communicating Processes",
 booktitle    = "Proc. FSTTCS'05",
 series       = "LNCS",
 volume       = "3821",
 publisher    = "Springer",
 pages        = "201--212",
 doi          = "10.1007/11590156\_16",
)
@inproceedings(Mayr/81/algorithm,
 author       = "E.W. Mayr",
 year         = "1981",
 title        = "An algorithm for the general Petri net reachability problem",
 booktitle    = "Proc. 13th ACM STOC",
 publisher    = "ACM",
 pages        = "238--246",
 doi          = "10.1145/800076.802477",
)
@article(MMS96,
 author       = "J. Meseguer and U. Montanari and V. Sassone",
 year         = "1996",
 title        = "Process versus unfolding semantics for Place/Transition {Petri} nets",
 journal      = "TCS",
 volume       = "153",
 pages        = "171--210",
 doi          = "10.1016/0304-3975(95)00121-2",
)
@article(NPW81,
 author       = "M. Nielsen and G.D. Plotkin and G. Winskel",
 year         = "1981",
 title        = "Petri Nets, Event Structures and Domains, Part I",
 journal      = "Theor. Comput. Sci.",
 volume       = "13",
 pages        = "85--108",
 doi          = "10.1016/0304-3975(81)90112-2",
)
@book(Old91,
 author       = "E.R. Olderog",
 year         = "1991",
 title        = "Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511526589",
)
@inproceedings(Pnueli+Rosner/90/Distributed,
 author       = "A. Pnueli and R. Rosner",
 year         = "1990",
 title        = "Distributed Reactive Systems are Hard to Synthesize",
 booktitle    = "Proc. {FOCS}",
 publisher    = "IEEE Computer Society Press",
 pages        = "746--757",
 doi          = "10.1109/FSCS.1990.89597",
)
@techreport(Raskin03petrigames,
 author       = "J.F. Raskin and M. Samuelides and L.V. Begin",
 year         = "2003",
 title        = "Petri Games are Monotone but Difficult to Decide",
 type         = "Technical Report",
 institution  = "Universit{\'e} Libre De Bruxelles",
)
@book(Rei85,
 author       = "W. Reisig",
 year         = "1985",
 title        = "Petri Nets -- An Introduction",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-69968-9",
)
@phdthesis(Rosner/92/Modular,
 author       = "R. Rosner",
 year         = "1992",
 title        = "Modular Synthesis of Reactive Systems",
 school       = "Weizmann Institute of Science, Rehovot, Israel",
)
@article(DBLP:journals/siamcomp/StockmeyerC79,
 author       = "L.J. Stockmeyer and A.K. Chandra",
 year         = "1979",
 title        = "Provably Difficult Combinatorial Games",
 journal      = "SIAM J. Comput.",
 volume       = "8",
 number       = "2",
 pages        = "151--174",
 doi          = "10.1137/0208013",
)
@inproceedings(Walukiewicz+Mohalik/03/Distributed,
 author       = "I. Walukiewicz and S. Mohalik",
 year         = "2003",
 title        = "Distributed Games",
 booktitle    = "Proc. FSTTCS'03",
 series       = "LNCS",
 volume       = "2914",
 pages        = "338--351",
 doi          = "10.1007/978-3-540-24597-1\_29",
)
@article(Zhou+others/95/Generation,
 author       = "Q. Zhou and M. Wang and S.P. Dutta",
 year         = "1995",
 title        = "Generation of optimal control policy for flexible manufacturing cells: A {Petri} net approach",
 journal      = "Intern. Journal of Advanced Manufacturing Technology",
 volume       = "10",
 pages        = "59--65",
 doi          = "10.1007/BF01184279",
)
@incollection(Zielonka/95/Asynchronous,
 author       = "W. Zielonka",
 year         = "1995",
 title        = "Asynchronous Automata",
 editor       = "G. Rozenberg and V. Diekert",
 booktitle    = "Book of Traces",
 publisher    = "World Scientific",
 pages        = "205--248",
 doi          = "10.1142/9789814261456\_0007",
)