@incollection(GreatSPN,
 author       = {Elvio Gilberto Amparore and Gianfranco Balbo and Marco Beccuti and Susanna Donatelli and Giuliana Franceschinis},
 year         = {2016},
 title        = {30 years of {GreatSPN}},
 booktitle    = {Principles of Performance and Reliability Modeling and Evaluation},
 publisher    = {Springer},
 pages        = {227--254},
 doi          = {10.1007/978-3-319-30599-8_9},
)
@inproceedings(Barbosa11,
 author       = {Paulo E. S. Barbosa and Jo{\~{a}}o Paulo Barros and Franklin Ramalho and Lu{\'{\i}}s Gomes and Jorge Figueiredo and Filipe Moutinho and Anik{\'{o}} Costa and Andr{\'{e}} Aranha},
 year         = {2011},
 title        = {SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design},
 editor       = {Camarinha{-}Matos, Luis M.},
 booktitle    = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
 series       = {{IFIP} Advances in Information and Communication Technology},
 volume       = {349},
 publisher    = {Springer},
 pages        = {256--265},
 doi          = {10.1007/978-3-642-19170-1\_28},
)
@article(membeqlog00,
 author       = {Adel Bouhoula and Jean-Pierre Jouannaud and Jos\IeC{\'e} Meseguer},
 year         = {2000},
 title        = {Specification and proof in membership equational logic},
 journal      = {Theoretical Computer Science},
 volume       = {236},
 number       = {1},
 pages        = {35--132},
 doi          = {10.1016/S0304-3975(99)00206-6},
)
@inproceedings(rewlog03,
 author       = {Roberto Bruni and Jos{\'e} Meseguer},
 year         = {2003},
 title        = {Generalized Rewrite Theories},
 editor       = {Jos C. M. Baeten and Jan Karel Lenstra and Joachim Parrow and Gerhard J. Woeginger},
 booktitle    = {Automata, Languages and Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {252--266},
 doi          = {10.1007/3-540-45061-0_22},
)
@incollection(Burstall1982,
 author       = {R. M. Burstall and J. A. Goguen},
 year         = {1982},
 title        = {Algebras, Theories and Freeness: An Introduction for Computer Scientists},
 editor       = {Manfred Broy and Gunther Schmidt},
 booktitle    = {Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare},
 publisher    = {Springer Netherlands},
 address      = {Dordrecht},
 pages        = {329--349},
 doi          = {10.1007/978-94-009-7893-5_11},
)
@inproceedings(CamilliECSA2018,
 author       = {Matteo Camilli and Carlo Bellettini and Lorenzo Capra},
 year         = {2018},
 title        = {A High-Level {P}etri Net-Based Formal Model of Distributed Self-Adaptive Systems},
 booktitle    = {Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings},
 series       = {{ECSA}'18},
 publisher    = {Association for Computing Machinery},
 address      = {New York, NY, USA},
 pages        = {1--7},
 doi          = {10.1145/3241403.3241445},
)
@book(maude07,
 author       = {Manuel Clavel and Francisco Dur'{a}n and Steven Eker and Patrick Lincoln and Narciso M. Oliet and Jos'{e} Meseguer and Carolyn Talcott},
 year         = {2007},
 title        = {All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 doi          = {10.1007/978-3-540-71999-1},
)
@inproceedings(reconfnet07,
 author       = {Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg and Ulrike Prange and Claudia Ermel},
 year         = {2007},
 title        = {Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems},
 editor       = {Jetty Kleijn and Alex Yakovlev},
 booktitle    = {Petri Nets and Other Models of Concurrency -- ICATPN 2007},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {104--123},
 doi          = {10.1007/978-3-540-73094-1_9},
)
@incollection(Ehrig03,
 author       = {Hartmut Ehrig and Julia Padberg},
 year         = {2004},
 title        = {Graph Grammars and Petri Net Transformations},
 editor       = {J{\"o}rg Desel and Wolfgang Reisig and Grzegorz Rozenberg},
 booktitle    = {Lectures on Concurrency and Petri Nets: Advances in Petri Nets},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {496--536},
 doi          = {10.1007/978-3-540-27755-2_14},
)
@inproceedings(flexnets,
 author       = {Laid Kahloul and Allaoua Chaoui and Karim Djouani},
 year         = {2010},
 title        = {Modeling and Analysis of Reconfigurable Systems Using Flexible Petri Nets},
 editor       = {Filip Zavoral and Jakub Yaghob and Pit Pichappan and El-Qawasmeh, Eyas},
 booktitle    = {Networked Digital Technologies},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {343--357},
 doi          = {10.1109/TASE.2010.28},
)
@inproceedings(Hornets,
 author       = {K{\"o}hler-Bu{\ss}meier, Michael},
 year         = {2009},
 title        = {Hornets: Nets within Nets Combined with Net Algebra},
 editor       = {Giuliana Franceschinis and Karsten Wolf},
 booktitle    = {Applications and Theory of {P}etri Nets},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {243--262},
 doi          = {10.1007/978-3-642-02424-5_15},
)
@article(Llorens04,
 author       = {M. Llorens and J. Oliver},
 year         = {2004},
 title        = {Structural and dynamic changes in concurrent systems: reconfigurable {P}etri nets},
 journal      = {{IEEE} Transactions on Computers},
 volume       = {53},
 number       = {9},
 pages        = {1147--1158},
 doi          = {10.1109/TC.2004.66},
)
@article(MARTIOLIET2009227,
 author       = {Mart\IeC{\'\i}-Oliet, Narciso and Jos\IeC{\'e} Meseguer and Alberto Verdejo},
 year         = {2009},
 title        = {A Rewriting Semantics for Maude Strategies},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {238},
 number       = {3},
 pages        = {227--247},
 doi          = {10.1016/j.entcs.2009.05.022},
 note         = {Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008)},
)
@inproceedings(membeqlog98,
 author       = {Jos{\'e} Meseguer},
 year         = {1998},
 title        = {Membership algebra as a logical framework for equational specification},
 editor       = {Francesco Parisi Presicce},
 booktitle    = {Recent Trends in Algebraic Development Techniques},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {18--61},
 doi          = {10.1007/3-540-64299-4_26},
)
@article(rewlog92,
 author       = {Jos\IeC{\'e} Meseguer},
 year         = {1992},
 title        = {Conditional rewriting logic as a unified model of concurrency},
 journal      = {Theoretical Computer Science},
 volume       = {96},
 number       = {1},
 pages        = {73--155},
 doi          = {10.1016/0304-3975(92)90182-F},
)
@incollection(Padberg:2018,
 author       = {Julia Padberg and Laid Kahloul},
 year         = {2018},
 title        = {Overview of Reconfigurable Petri Nets},
 editor       = {Reiko Heckel and Gabriele Taentzer},
 booktitle    = {Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {201--222},
 doi          = {10.1007/978-3-319-75396-6_11},
)
@inproceedings(RPN-Maude2016,
 author       = {Julia Padberg and Alexander Schulz},
 year         = {2016},
 title        = {Model Checking Reconfigurable Petri Nets with Maude},
 editor       = {Rachid Echahed and Mark Minas},
 booktitle    = {Graph Transformation},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {54--70},
 doi          = {10.1007/978-3-319-40530-8_4},
)
@incollection(Prange2008,
 author       = {Ulrike Prange and Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg},
 year         = {2008},
 title        = {Transformations in Reconfigurable Place/Transition Systems},
 editor       = {Pierpaolo Degano and De Nicola, Rocco and Jos{\'e} Meseguer},
 booktitle    = {Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {96--113},
 doi          = {10.1007/978-3-540-68679-8_7},
)
@book(ReisigPN,
 author       = {W. Reisig},
 year         = {1985},
 title        = {{P}etri Nets: An Introduction},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {New York, NY, USA},
 doi          = {10.1007/978-3-642-69968-9},
)
@inbook(RWLPN2001,
 author       = {Mark-Oliver Stehr and Jos{\'e} Meseguer and Peter Csaba {\"O}lveczky},
 year         = {2001},
 title        = {Rewriting Logic as a Unifying Framework for Petri Nets},
 pages        = {250--303},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/3-540-45541-8_9},
)
@incollection(Valk04,
 author       = {R{\"u}diger Valk},
 year         = {2004},
 title        = {Object {P}etri Nets},
 editor       = {J{\"o}rg Desel and Wolfgang Reisig and Grzegorz Rozenberg},
 booktitle    = {Lectures on Concurrency and {P}etri Nets: Advances in {P}etri Nets},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {819--848},
 doi          = {10.1007/978-3-540-27755-2_23},
)
@inproceedings(sysmodsem01,
 author       = {Emanuele Viola},
 year         = {2001},
 title        = {E-unifiability via Narrowing},
 booktitle    = {Theoretical Computer Science},
 publisher    = {Springer},
 address      = {Berlin, Heidelberg},
 pages        = {426--438},
 doi          = {10.1007/3-540-45446-2_27},
)