@article{vanGlabbeek_Plotkin_09, author = {van Glabbeek, Robert and Plotkin, Gordon}, issn = {0304-3975}, journal = {Theoretical Computer Science}, keywords = {concurrency, configuration structures, event structures, petri nets, propositional logic.}, month = sep, number = {41}, pages = {4111--4159}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/1581.pdf}, title = {Configuration Structures, Event Structures and Petri Nets}, volume = {410}, year = {2009} }