@article(BCH:BonRR, author = {Sandie Balaguer and Thomas Chatain and Stefan Haar}, year = {2013}, title = {Building Occurrence Nets from Reveals Relations}, journal = {Fundamamenta Informaticae}, volume = {123}, number = {3}, pages = {245--272}, url = {http://dx.doi.org/10.3233/FI-2013-809}, ) @inproceedings(CP:Lata17, author = {Giovanni Casu and G. Michele Pinna}, year = {2017}, title = {Merging Relations: {A} Way to Compact Petri Nets' Behaviors Uniformly}, editor = {Frank Drewes and Mart{\'{\i}}n{-}Vide, Carlos and Bianca Truthe}, booktitle = {{LATA} 2017 Conference Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10168}, pages = {325--337}, url = {https://doi.org/10.1007/978-3-319-53733-7_24}, ) @inproceedings(CP:Soap17, author = {Giovanni Casu and G. Michele Pinna}, year = {2017}, title = {Petri nets and dynamic causality for service-oriented computations}, editor = {Ahmed Seffah and Birgit Penzenstadler and Carina Alves and Xin Peng}, booktitle = {{SAC} 2017 Conference Proceedings}, publisher = {ACM}, pages = {1326--1333}, url = {http://doi.acm.org/10.1145/3019612.3019806}, ) @inproceedings(DMM:ANCP89, author = {Pierpaolo Degano and Jos{\'{e}} Meseguer and Ugo Montanari}, year = {1989}, title = {Axiomatizing Net Computations and Processes}, booktitle = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989}, publisher = {{IEEE} Computer Society}, pages = {175--185}, url = {https://doi.org/10.1109/LICS.1989.39172}, ) @article(DMM:AANCP96, author = {Pierpaolo Degano and Jos{\'{e}} Meseguer and Ugo Montanari}, year = {1996}, title = {Axiomatizing the Algebra of Net Computations and Processes}, journal = {AI}, volume = {33}, number = {7}, pages = {641--667}, url = {https://doi.org/10.1007/BF03036469}, ) @article(Eng:BPPN, author = {Joost Engelfriet}, year = {1991}, title = {Branching Processes of {P}etri Nets}, journal = {Acta Informatica}, volume = {28}, number = {6}, pages = {575--591}, url = {https://doi.org/10.1007/BF01463946}, ) @article(Fab:Trellis, author = {Eric Fabre}, year = {2007}, title = {Trellis Processes : A Compact Representation for Runs of Concurrent Systems}, journal = {Discrete Event Dynamic Systems}, volume = {17}, number = {3}, pages = {267--306}, url = {https://doi.org/10.1007/s10626-006-0001-0}, ) @article(GR:NSBPN83, author = {Ursula Goltz and Wolfgang Reisig}, year = {1983}, title = {The Non-sequential Behavior of {P}etri Nets}, journal = {Information and Control}, volume = {57}, number = {2/3}, pages = {125--147}, url = {https://doi.org/10.1016/S0019-9958(83)80040-0}, ) @article(HKS:crron, author = {Stefan Haar and Christian Kern and Stefan Schwoon}, year = {2013}, title = {Computing the reveals relation in occurrence nets}, journal = {Theoretical Computer Science}, volume = {493}, pages = {66--79}, url = {http://dx.doi.org/10.1016/j.tcs.2013.04.028}, ) @article(KKKV:Acta06, author = {Victor Khomenko and Alex Kondratyev and Maciej Koutny and Walter Vogler}, year = {2006}, title = {Merged {P}rocesses: a new condensed representation of {P}etri net behaviour}, journal = {Acta Informatica}, volume = {43}, number = {5}, pages = {307--330}, url = {http://dx.doi.org/10.1007/s00236-006-0023-y}, ) @article(KKV:CPPU03, author = {Victor Khomenko and Maciej Koutny and Walter Vogler}, year = {2003}, title = {Canonical prefixes of {P}etri net unfoldings}, journal = {Acta Informatica}, volume = {40}, number = {2}, pages = {95--118}, url = {http://dx.doi.org/10.1007/s00236-003-0122-y}, ) @inproceedings(McMillan92, author = {Kenneth L. McMillan}, year = {1993}, title = {Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits}, editor = {Gregor von Bochmann and David K. Probst}, booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV} '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {663}, publisher = {Springer}, pages = {164--177}, url = {http://dx.doi.org/10.1007/3-540-56496-9_14}, ) @article(NPW:PNES, author = {Mogens Nielsen and Gordon D. Plotkin and Glynn Winskel}, year = {1981}, title = {{P}etri {N}ets, {E}vent {S}tructures and {D}omains, {P}art 1}, journal = {Theoretical Computer Science}, volume = {13}, pages = {85--108}, url = {https://doi.org/10.1016/0304-3975(81)90112-2}, ) @incollection(SR:SNN87, author = {Einar Smith and Wolfgang Reisig}, year = {1987}, title = {The Semantics of a Net is a Net}, editor = {Klaus Voss and Hartmann J. Genrich and Grzegorz Rozenberg}, booktitle = {Concurrency and Nets}, publisher = {Springer Verlag}, pages = {461--479}, url = {https://doi.org/10.1007/978-3-642-72822-8_29}, ) @article(GP:CSESPN, author = {{van G}labbeek, Rob J. and Gordon D. Plotkin}, year = {2009}, title = {Configuration structures, event structures and {P}etri nets}, journal = {Theoretical Computer Science}, volume = {410}, number = {41}, pages = {4111--4159}, url = {https://doi.org/10.1016/j.tcs.2009.06.014}, ) @inproceedings(Win:ES, author = {Glynn Winskel}, year = {1987}, title = {Event {S}tructures}, editor = {Wilfried Brauer and Wolfgang Reisig and Grzegorz Rozenberg}, booktitle = {Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986}, series = {Lecture Notes in Computer Science}, volume = {255}, publisher = {Springer Verlag}, pages = {325--392}, url = {https://doi.org/10.1007/3-540-17906-2_31}, )