Search dblp for Publications

export results for "stream:streams/journals/topnoc:"

 download as .bib file

@article{DBLP:journals/topnoc/0006KR19,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Lars Michael Kristensen and
               Adrian Rutle},
  title     = {Formal Modelling and Incremental Verification of the {MQTT} IoT Protocol},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {126--145},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_5},
  doi       = {10.1007/978-3-662-60651-3\_5},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/0006KR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AalstCCD19,
  author    = {Wil M. P. van der Aalst and
               Josep Carmona and
               Thomas Chatain and
               Boudewijn F. van Dongen},
  title     = {A Tour in Process Mining: From Practice to Algorithmic Challenges},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {1--35},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_1},
  doi       = {10.1007/978-3-662-60651-3\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/AalstCCD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AndreKLPP19,
  author    = {{\'{E}}tienne Andr{\'{e}} and
               Michal Knapik and
               Didier Lime and
               Wojciech Penczek and
               Laure Petrucci},
  title     = {Parametric Verification: An Introduction},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {64--100},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_3},
  doi       = {10.1007/978-3-662-60651-3\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/AndreKLPP19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DevillersEH19,
  author    = {Raymond R. Devillers and
               Evgeny Erofeev and
               Thomas Hujsa},
  title     = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition
               Systems: {A} Geometric Approach},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {172--191},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_7},
  doi       = {10.1007/978-3-662-60651-3\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DevillersEH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MostellerHMS19,
  author    = {David Mosteller and
               Michael Haustermann and
               Daniel Moldt and
               Dennis Schmitz},
  title     = {Integrated Simulation of Domain-Specific Modeling Languages with Petri
               Net-Based Transformational Semantics},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {101--125},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_4},
  doi       = {10.1007/978-3-662-60651-3\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MostellerHMS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Phawade19,
  author    = {Ramchandra Phawade},
  title     = {Kleene Theorems for Free Choice Automata over Distributed Alphabets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {146--171},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_6},
  doi       = {10.1007/978-3-662-60651-3\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Phawade19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SchlachterW19,
  author    = {Uli Schlachter and
               Harro Wimmel},
  title     = {Relabelling {LTS} for Petri Net Synthesis via Solving Separation Problems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {222--254},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_9},
  doi       = {10.1007/978-3-662-60651-3\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SchlachterW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SyringTA19,
  author    = {Anja F. Syring and
               Niek Tax and
               Wil M. P. van der Aalst},
  title     = {Evaluating Conformance Measures in Process Mining Using Conformance
               Propositions},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {192--221},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_8},
  doi       = {10.1007/978-3-662-60651-3\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SyringTA19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Wolf19,
  author    = {Karsten Wolf},
  title     = {How Petri Net Theory Serves Petri Net Model Checking: {A} Survey},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {36--63},
  year      = {2019},
  crossref  = {DBLP:journals/topnoc/2019-14},
  url       = {https://doi.org/10.1007/978-3-662-60651-3\_2},
  doi       = {10.1007/978-3-662-60651-3\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Wolf19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2019-14,
  editor    = {Maciej Koutny and
               Lucia Pomello and
               Lars Michael Kristensen},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XIV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11790},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-662-60651-3},
  doi       = {10.1007/978-3-662-60651-3},
  isbn      = {978-3-662-60650-6},
  timestamp = {Tue, 17 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/2019-14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AmparoreDBGM18,
  author    = {Elvio Gilberto Amparore and
               Susanna Donatelli and
               Marco Beccuti and
               Giulio Garbi and
               Andrew S. Miner},
  title     = {Decision Diagrams for Petri Nets: {A} Comparison of Variable Ordering
               Algorithms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {73--92},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_4},
  doi       = {10.1007/978-3-662-58381-4\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/AmparoreDBGM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BernardinelloFPA18,
  author    = {Luca Bernardinello and
               Carlo Ferigato and
               Lucia Pomello and
               Adri{\'{a}}n Puerto Aubel},
  title     = {On Stability of Regional Orthomodular Posets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {52--72},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_3},
  doi       = {10.1007/978-3-662-58381-4\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BernardinelloFPA18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DalmasTN18,
  author    = {Benjamin Dalmas and
               Niek Tax and
               Sylvie Norre},
  title     = {Heuristic Mining Approaches for High-Utility Local Process Models},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {27--51},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_2},
  doi       = {10.1007/978-3-662-58381-4\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DalmasTN18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EnnaouiNT18,
  author    = {Karima Ennaoui and
               Lhouari Nourine and
               Farouk Toumani},
  title     = {Complexity Aspects of Web Services Composition},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {116--135},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_6},
  doi       = {10.1007/978-3-662-58381-4\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/EnnaouiNT18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/GogolinskaMP18,
  author    = {Anna Gogolinska and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {{GPU} Computations and Memory Access Model Based on Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {136--157},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_7},
  doi       = {10.1007/978-3-662-58381-4\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/GogolinskaMP18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJHABBEJBLMSTPW18,
  author    = {Fabrice Kordon and
               Hubert Garavel and
               Lom{-}Messan Hillah and
               Emmanuel Paviot{-}Adet and
               Lo{\"{\i}}g Jezequel and
               Francis Hulin{-}Hubard and
               Elvio Gilberto Amparore and
               Marco Beccuti and
               Bernard Berthomieu and
               Hugues Evrard and
               Peter Gj{\o}l Jensen and
               Didier Le Botlan and
               Torsten Liebke and
               Jeroen Meijer and
               Jir{\'{\i}} Srba and
               Yann Thierry{-}Mieg and
               Jaco van de Pol and
               Karsten Wolf},
  title     = {MCC'2017 - The Seventh Model Checking Contest},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {181--209},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_9},
  doi       = {10.1007/978-3-662-58381-4\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KordonGHPJHABBEJBLMSTPW18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MollerHMS18,
  author    = {Pascale M{\"{o}}ller and
               Michael Haustermann and
               David Mosteller and
               Dennis Schmitz},
  title     = {Model Synchronization and Concurrent Simulation of Multiple Formalisms
               Based on Reference Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {93--115},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_5},
  doi       = {10.1007/978-3-662-58381-4\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MollerHMS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WangKMS18,
  author    = {Rui Wang and
               Lars Michael Kristensen and
               Hein Meling and
               Volker Stolz},
  title     = {Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed
               Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {158--180},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_8},
  doi       = {10.1007/978-3-662-58381-4\_8},
  timestamp = {Tue, 12 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/WangKMS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ZelstBD18,
  author    = {Sebastiaan J. van Zelst and
               Alfredo Bolt and
               Boudewijn F. van Dongen},
  title     = {Computing Alignments of Event Data and Process Models},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {13},
  pages     = {1--26},
  year      = {2018},
  crossref  = {DBLP:journals/topnoc/2018-13},
  url       = {https://doi.org/10.1007/978-3-662-58381-4\_1},
  doi       = {10.1007/978-3-662-58381-4\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ZelstBD18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2018-13,
  editor    = {Maciej Koutny and
               Lars Michael Kristensen and
               Wojciech Penczek},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XIII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11090},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-662-58381-4},
  doi       = {10.1007/978-3-662-58381-4},
  isbn      = {978-3-662-58380-7},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2018-13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BarylskaBSS17,
  author    = {Kamila Barylska and
               Eike Best and
               Uli Schlachter and
               Valentin Spreckels},
  title     = {Properties of Plain, Pure, and Safe Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {1--18},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_1},
  doi       = {10.1007/978-3-662-55862-1\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BarylskaBSS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HoldererCTM17,
  author    = {Julius Holderer and
               Josep Carmona and
               Farbod Taymouri and
               G{\"{u}}nter M{\"{u}}ller},
  title     = {Log- and Model-Based Techniques for Security-Sensitive Tackling of
               Obstructed Workflow Executions},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {43--69},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_3},
  doi       = {10.1007/978-3-662-55862-1\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HoldererCTM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HoussayePD17,
  author    = {Jordan de la Houssaye and
               Franck Pommereau and
               Philippe Deniel},
  title     = {Formal Modelling and Analysis of Distributed Storage Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {70--90},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_4},
  doi       = {10.1007/978-3-662-55862-1\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HoussayePD17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KoninckW17,
  author    = {Pieter De Koninck and
               Jochen De Weerdt},
  title     = {Similarity-Based Approaches for Determining the Number of Trace Clusters
               in Process Discovery},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {19--42},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_2},
  doi       = {10.1007/978-3-662-55862-1\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KoninckW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MontaliR17,
  author    = {Marco Montali and
               Andrey Rivkin},
  title     = {DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {91--118},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_5},
  doi       = {10.1007/978-3-662-55862-1\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MontaliR17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ShershakovKL17,
  author    = {Sergey A. Shershakov and
               Anna A. Kalenkova and
               Irina A. Lomazova},
  title     = {Transition Systems Reduction: Balancing Between Precision and Simplicity},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {119--139},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_6},
  doi       = {10.1007/978-3-662-55862-1\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ShershakovKL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ValmariH17,
  author    = {Antti Valmari and
               Henri Hansen},
  title     = {Stubborn Set Intuition Explained},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {140--165},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_7},
  doi       = {10.1007/978-3-662-55862-1\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ValmariH17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Verbeek17,
  author    = {H. M. W. Verbeek},
  title     = {Decomposed Replay Using Hiding and Reduction as Abstraction},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {166--186},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_8},
  doi       = {10.1007/978-3-662-55862-1\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Verbeek17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Winkowski17,
  author    = {J{\'{o}}zef Winkowski},
  title     = {Multiplicative Transition Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {12},
  pages     = {187--215},
  year      = {2017},
  crossref  = {DBLP:journals/topnoc/2017-12},
  url       = {https://doi.org/10.1007/978-3-662-55862-1\_9},
  doi       = {10.1007/978-3-662-55862-1\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Winkowski17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2017-12,
  editor    = {Maciej Koutny and
               Jetty Kleijn and
               Wojciech Penczek},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10470},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-55862-1},
  doi       = {10.1007/978-3-662-55862-1},
  isbn      = {978-3-662-55861-4},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2017-12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BarylskaBEMP16,
  author    = {Kamila Barylska and
               Eike Best and
               Evgeny Erofeev and
               Lukasz Mikulski and
               Marcin Piatkowski},
  title     = {Conditions for Petri Net Solvable Binary Words},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {137--159},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_7},
  doi       = {10.1007/978-3-662-53401-4\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BarylskaBEMP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BernardinelloKP16,
  author    = {Luca Bernardinello and
               G{\"{o}}rkem Kilin{\c{c}} and
               Lucia Pomello},
  title     = {Non-interference Notions Based on Reveals and Excludes Relations for
               Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {49--70},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_3},
  doi       = {10.1007/978-3-662-53401-4\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BernardinelloKP16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BrogiCSW16,
  author    = {Antonio Brogi and
               Andrea Canciani and
               Jacopo Soldani and
               PengWei Wang},
  title     = {A Petri Net-Based Approach to Model and Analyze the Management of
               Cloud Applications},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {28--48},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_2},
  doi       = {10.1007/978-3-662-53401-4\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BrogiCSW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DeselE16,
  author    = {J{\"{o}}rg Desel and
               Javier Esparza},
  title     = {Negotiations and Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {203--225},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_10},
  doi       = {10.1007/978-3-662-53401-4\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DeselE16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Hamez16,
  author    = {Alexandre Hamez},
  title     = {A Symbolic Model Checker for Petri Nets: pnmc},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {297--306},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_15},
  doi       = {10.1007/978-3-662-53401-4\_15},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Hamez16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeinerRST16,
  author    = {Monika Heiner and
               Christian Rohr and
               Martin Schwarick and
               Alexey A. Tovchigrechko},
  title     = {MARCIE's Secrets of Efficient Model Checking},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {286--296},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_14},
  doi       = {10.1007/978-3-662-53401-4\_14},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HeinerRST16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/JensenNOS16,
  author    = {Jonas Finnemann Jensen and
               Thomas Nielsen and
               Lars Kaerlund Oestergaard and
               Jir{\'{\i}} Srba},
  title     = {{TAPAAL} and Reachability Analysis of {P/T} Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {307--318},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_16},
  doi       = {10.1007/978-3-662-53401-4\_16},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/JensenNOS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonGHPJRH16,
  author    = {Fabrice Kordon and
               Hubert Garavel and
               Lom{-}Messan Hillah and
               Emmanuel Paviot{-}Adet and
               Lo{\"{\i}}g Jezequel and
               C{\'{e}}sar Rodr{\'{\i}}guez and
               Francis Hulin{-}Hubard},
  title     = {MCC'2015 - The Fifth Model Checking Contest},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {262--273},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_12},
  doi       = {10.1007/978-3-662-53401-4\_12},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KordonGHPJRH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MokhovCB16,
  author    = {Andrey Mokhov and
               Josep Carmona and
               Jonathan Beaumont},
  title     = {Mining Conditional Partial Order Graphs from Event Logs},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {114--136},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_6},
  doi       = {10.1007/978-3-662-53401-4\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MokhovCB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MostellerCH16,
  author    = {David Mosteller and
               Lawrence Cabac and
               Michael Haustermann},
  title     = {Integrating Petri Net Semantics in a Model-Driven Approach: The Renew
               Meta-Modeling and Transformation Framework},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {92--113},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_5},
  doi       = {10.1007/978-3-662-53401-4\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MostellerCH16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/RibeiroC16,
  author    = {Joel Ribeiro and
               Josep Carmona},
  title     = {A Method for Assessing Parameter Impact on Control-Flow Discovery
               Algorithms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {181--202},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_9},
  doi       = {10.1007/978-3-662-53401-4\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/RibeiroC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/RoyS16,
  author    = {Suman Roy and
               A. S. M. Sajeev},
  title     = {A Formal Framework for Diagnostic Analysis for Errors of Business
               Processes},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {226--261},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_11},
  doi       = {10.1007/978-3-662-53401-4\_11},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/RoyS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SimonsenKK16,
  author    = {Kent Inge Fagerland Simonsen and
               Lars Michael Kristensen and
               Ekkart Kindler},
  title     = {Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation
               and Verification},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {1--27},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_1},
  doi       = {10.1007/978-3-662-53401-4\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SimonsenKK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SztylerCVS16,
  author    = {Timo Sztyler and
               Josep Carmona and
               Johanna V{\"{o}}lker and
               Heiner Stuckenschmidt},
  title     = {Self-tracking Reloaded: Applying Process Mining to Personalized Health
               Care from Labeled Sensor Data},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {160--180},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_8},
  doi       = {10.1007/978-3-662-53401-4\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SztylerCVS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Vanit-Anunchai16,
  author    = {Somsak Vanit{-}Anunchai},
  title     = {Validating {DCCP} Simultaneous Feature Negotiation Procedure},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {71--91},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_4},
  doi       = {10.1007/978-3-662-53401-4\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Vanit-Anunchai16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Wolf16,
  author    = {Karsten Wolf},
  title     = {Running LoLA 2.0 in a Model Checking Competition},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {11},
  pages     = {274--285},
  year      = {2016},
  crossref  = {DBLP:journals/topnoc/2016-11},
  url       = {https://doi.org/10.1007/978-3-662-53401-4\_13},
  doi       = {10.1007/978-3-662-53401-4\_13},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Wolf16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2016-11,
  editor    = {Maciej Koutny and
               J{\"{o}}rg Desel and
               Jetty Kleijn},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9930},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53401-4},
  doi       = {10.1007/978-3-662-53401-4},
  isbn      = {978-3-662-53400-7},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2016-11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BergenthumS15,
  author    = {Robin Bergenthum and
               Joachim Schick},
  title     = {Verification of Logs - Revealing Faulty Processes of a Medical Laboratory},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {10},
  pages     = {1--18},
  year      = {2015},
  crossref  = {DBLP:journals/topnoc/2015-10},
  url       = {https://doi.org/10.1007/978-3-662-48650-4\_1},
  doi       = {10.1007/978-3-662-48650-4\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BergenthumS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KhomenkoG15,
  author    = {Victor Khomenko and
               Vasileios Germanos},
  title     = {Modelling and Analysis Mobile Systems Using {\textbackslash}pi -calculus
               {(EFCP)}},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {10},
  pages     = {153--175},
  year      = {2015},
  crossref  = {DBLP:journals/topnoc/2015-10},
  url       = {https://doi.org/10.1007/978-3-662-48650-4\_8},
  doi       = {10.1007/978-3-662-48650-4\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KhomenkoG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Klai15,
  author    = {Kais Klai},
  title     = {Timed Aggregate Graph: {A} Finite Graph Preserving Event- and State-Based
               Quantitative Properties of Time Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {10},
  pages     = {34--54},
  year      = {2015},
  crossref  = {DBLP:journals/topnoc/2015-10},
  url       = {https://doi.org/10.1007/978-3-662-48650-4\_3},
  doi       = {10.1007/978-3-662-48650-4\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Klai15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/NiewiadomskiP15,
  author    = {Artur Niewiadomski and
               Wojciech Penczek},
  title     = {SMT-Based Abstract Parametric Temporal Planning},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {10},
  pages     = {55--83},
  year      = {2015},
  crossref  = {DBLP:journals/topnoc/2015-10},
  url       = {https://doi.org/10.1007/978-3-662-48650-4\_4},
  doi       = {10.1007/978-3-662-48650-4\_4},
  timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/NiewiadomskiP15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/PhawadeL15,
  author    = {Ramchandra Phawade and
               Kamal Lodaya},
  title     = {Kleene Theorems for Synchronous Products with Matching},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {10},
  pages     = {84--108},
  year      = {2015},
  crossref  = {DBLP:journals/topnoc/2015-10},
  url       = {https://doi.org/10.1007/978-3-662-48650-4\_5},
  doi       = {10.1007/978-3-662-48650-4\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/PhawadeL15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/PuraB15,
  author    = {Mihai{-}Lica Pura and
               Didier Buchs},
  title     = {Symbolic Model Checking of Security Protocols for Ad hoc Networks
               on any Topologies},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {10},
  pages     = {109--130},
  year      = {2015},
  crossref  = {DBLP:journals/topnoc/2015-10},
  url       = {https://doi.org/10.1007/978-3-662-48650-4\_6},
  doi       = {10.1007/978-3-662-48650-4\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/PuraB15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/RadhouaniILR15,
  author    = {Amira Radhouani and
               Akram Idani and
               Yves Ledru and
               Narjes Ben Rajeb},
  title     = {Symbolic Search of Insider Attack Scenarios from a Formal Information
               System Modeling},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {10},
  pages     = {131--152},
  year      = {2015},
  crossref  = {DBLP:journals/topnoc/2015-10},
  url       = {https://doi.org/10.1007/978-3-662-48650-4\_7},
  doi       = {10.1007/978-3-662-48650-4\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/RadhouaniILR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ShilS15,
  author    = {Assia Ben Shil and
               Kaouther Blibech Sinaoui},
  title     = {An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded
               Storage Model},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {10},
  pages     = {19--33},
  year      = {2015},
  crossref  = {DBLP:journals/topnoc/2015-10},
  url       = {https://doi.org/10.1007/978-3-662-48650-4\_2},
  doi       = {10.1007/978-3-662-48650-4\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ShilS15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2015-10,
  editor    = {Maciej Koutny and
               J{\"{o}}rg Desel and
               Serge Haddad},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {X}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9410},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48650-4},
  doi       = {10.1007/978-3-662-48650-4},
  isbn      = {978-3-662-48649-8},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2015-10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BashkinL14,
  author    = {Vladimir A. Bashkin and
               Irina A. Lomazova},
  title     = {Decidability of k -Soundness for Workflow Nets with an Unbounded Resource},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {9},
  pages     = {1--18},
  year      = {2014},
  crossref  = {DBLP:journals/topnoc/2014-9},
  url       = {https://doi.org/10.1007/978-3-662-45730-6\_1},
  doi       = {10.1007/978-3-662-45730-6\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BashkinL14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BernardinelloKMP14,
  author    = {Luca Bernardinello and
               G{\"{o}}rkem Kilin{\c{c}} and
               Elisabetta Mangioni and
               Lucia Pomello},
  title     = {Modeling Distributed Private Key Generation by Composing Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {9},
  pages     = {19--40},
  year      = {2014},
  crossref  = {DBLP:journals/topnoc/2014-9},
  url       = {https://doi.org/10.1007/978-3-662-45730-6\_2},
  doi       = {10.1007/978-3-662-45730-6\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BernardinelloKMP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BetzCDWW14,
  author    = {Tobias Betz and
               Lawrence Cabac and
               Michael Duvigneau and
               Thomas Wagner and
               Matthias Wester{-}Ebbinghaus},
  title     = {Software Engineering with Petri Nets: {A} Web Service and Agent Perspective},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {9},
  pages     = {41--61},
  year      = {2014},
  crossref  = {DBLP:journals/topnoc/2014-9},
  url       = {https://doi.org/10.1007/978-3-662-45730-6\_3},
  doi       = {10.1007/978-3-662-45730-6\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BetzCDWW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CabacMW14,
  author    = {Lawrence Cabac and
               David Mosteller and
               Matthias Wester{-}Ebbinghaus},
  title     = {Modeling Organizational Structures and Agent Knowledge for Mulan Applications},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {9},
  pages     = {62--82},
  year      = {2014},
  crossref  = {DBLP:journals/topnoc/2014-9},
  url       = {https://doi.org/10.1007/978-3-662-45730-6\_4},
  doi       = {10.1007/978-3-662-45730-6\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/CabacMW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ChatainH14,
  author    = {Thomas Chatain and
               Stefan Haar},
  title     = {A Canonical Contraction for Safe Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {9},
  pages     = {83--98},
  year      = {2014},
  crossref  = {DBLP:journals/topnoc/2014-9},
  url       = {https://doi.org/10.1007/978-3-662-45730-6\_5},
  doi       = {10.1007/978-3-662-45730-6\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ChatainH14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/JinLC14,
  author    = {Xiaoqing Jin and
               Yousra Lembachar and
               Gianfranco Ciardo},
  title     = {Symbolic Termination and Confluence Checking for {ECA} Rules},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {9},
  pages     = {99--123},
  year      = {2014},
  crossref  = {DBLP:journals/topnoc/2014-9},
  url       = {https://doi.org/10.1007/978-3-662-45730-6\_6},
  doi       = {10.1007/978-3-662-45730-6\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/JinLC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KleijnKP14,
  author    = {Jetty Kleijn and
               Maciej Koutny and
               Marta Pietkiewicz{-}Koutny},
  title     = {Tissue Systems and Petri Net Synthesis},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {9},
  pages     = {124--146},
  year      = {2014},
  crossref  = {DBLP:journals/topnoc/2014-9},
  url       = {https://doi.org/10.1007/978-3-662-45730-6\_7},
  doi       = {10.1007/978-3-662-45730-6\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KleijnKP14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/LiuL14,
  author    = {Junxian Liu and
               Lin Liu},
  title     = {A Coloured Petri Net Approach to the Functional and Performance Analysis
               of {SIP} Non-INVITE Transaction},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {9},
  pages     = {147--177},
  year      = {2014},
  crossref  = {DBLP:journals/topnoc/2014-9},
  url       = {https://doi.org/10.1007/978-3-662-45730-6\_8},
  doi       = {10.1007/978-3-662-45730-6\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/LiuL14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2014-9,
  editor    = {Maciej Koutny and
               Serge Haddad and
               Alex Yakovlev},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {IX}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8910},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45730-6},
  doi       = {10.1007/978-3-662-45730-6},
  isbn      = {978-3-662-45729-0},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2014-9.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/0001DJ13,
  author    = {Robert Lorenz and
               J{\"{o}}rg Desel and
               Gabriel Juh{\'{a}}s},
  title     = {Models from Scenarios},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {314--371},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_9},
  doi       = {10.1007/978-3-642-38143-0\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/0001DJ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AalstD13,
  author    = {Wil M. P. van der Aalst and
               Boudewijn F. van Dongen},
  title     = {Discovering Petri Nets from Event Logs},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {372--422},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_10},
  doi       = {10.1007/978-3-642-38143-0\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/AalstD13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AalstSW13,
  author    = {Wil M. P. van der Aalst and
               Christian Stahl and
               Michael Westergaard},
  title     = {Strategies for Modeling Complex Processes Using Colored Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {6--55},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_2},
  doi       = {10.1007/978-3-642-38143-0\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/AalstSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BaldanCGS13,
  author    = {Paolo Baldan and
               Nicoletta Cocco and
               Federica Giummol{\`{e}} and
               Marta Simeoni},
  title     = {Comparing Metabolic Pathways through Reactions and Potential Fluxes},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {1--23},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_1},
  doi       = {10.1007/978-3-642-40465-8\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BaldanCGS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BernardinelloMP13,
  author    = {Luca Bernardinello and
               Elisabetta Mangioni and
               Lucia Pomello},
  title     = {Local State Refinement and Composition of Elementary Net Systems:
               An Approach Based on Morphisms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {48--70},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_3},
  doi       = {10.1007/978-3-642-40465-8\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BernardinelloMP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BestW13,
  author    = {Eike Best and
               Harro Wimmel},
  title     = {Structure Theory of Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {162--224},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_5},
  doi       = {10.1007/978-3-642-38143-0\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BestW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DedovaP13,
  author    = {Anna Dedova and
               Laure Petrucci},
  title     = {From Code to Coloured Petri Nets: Modelling Guidelines},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {71--88},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_4},
  doi       = {10.1007/978-3-642-40465-8\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DedovaP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeSW13,
  author    = {Kees M. van Hee and
               Natalia Sidorova and
               Jan Martijn E. M. van der Werf},
  title     = {When Can We Trust a Third Party? - {A} Soundness Perspective},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {106--122},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_6},
  doi       = {10.1007/978-3-642-40465-8\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HeeSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeSW13a,
  author    = {Kees M. van Hee and
               Natalia Sidorova and
               Jan Martijn E. M. van der Werf},
  title     = {Business Process Modeling Using Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {116--161},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_4},
  doi       = {10.1007/978-3-642-38143-0\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HeeSW13a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HerajySH13,
  author    = {Mostafa Herajy and
               Martin Schwarick and
               Monika Heiner},
  title     = {Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {123--141},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_7},
  doi       = {10.1007/978-3-642-40465-8\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HerajySH13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/JanowskaPPZ13,
  author    = {Agata Janowska and
               Wojciech Penczek and
               Agata P{\'{o}}lrola and
               Andrzej Zbrzezny},
  title     = {Using Integer Time Steps for Checking Branching Time Properties of
               Time Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {89--105},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_5},
  doi       = {10.1007/978-3-642-40465-8\_5},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/JanowskaPPZ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KleijnK13,
  author    = {Jetty Kleijn and
               Maciej Koutny},
  title     = {Causality in Extensions of Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {225--254},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_6},
  doi       = {10.1007/978-3-642-38143-0\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KleijnK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KristensenS13,
  author    = {Lars Michael Kristensen and
               Kent Inge Fagerland Simonsen},
  title     = {Applications of Coloured Petri Nets for Functional Validation of Protocol
               Designs},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {56--115},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_3},
  doi       = {10.1007/978-3-642-38143-0\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KristensenS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MaissaKMT13,
  author    = {Yann Ben Maissa and
               Fabrice Kordon and
               Salma Mouline and
               Yann Thierry{-}Mieg},
  title     = {Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An
               Integrated Workflow},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {24--47},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_2},
  doi       = {10.1007/978-3-642-40465-8\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MaissaKMT13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Reisig13,
  author    = {Wolfgang Reisig},
  title     = {The Synthesis Problem},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {300--313},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_8},
  doi       = {10.1007/978-3-642-38143-0\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Reisig13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ReisigRT13,
  author    = {Wolfgang Reisig and
               Grzegorz Rozenberg and
               P. S. Thiagarajan},
  title     = {In Memoriam: Carl Adam Petri},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {1--5},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_1},
  doi       = {10.1007/978-3-642-38143-0\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ReisigRT13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Rohr13,
  author    = {Christian Rohr},
  title     = {Simulative Model Checking of Steady State and Time-Unbounded Temporal
               Operators},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {142--158},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_8},
  doi       = {10.1007/978-3-642-40465-8\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Rohr13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Valmari13,
  author    = {Antti Valmari},
  title     = {External Behaviour of Systems of State Machines with Variables},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {7},
  pages     = {255--299},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-7},
  url       = {https://doi.org/10.1007/978-3-642-38143-0\_7},
  doi       = {10.1007/978-3-642-38143-0\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Valmari13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Wester-EbbinghausK13,
  author    = {Matthias Wester{-}Ebbinghaus and
               Michael K{\"{o}}hler{-}Bu{\ss}meier},
  title     = {Model-Driven Middleware Support for Team-Oriented Process Management},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {159--179},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_9},
  doi       = {10.1007/978-3-642-40465-8\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Wester-EbbinghausK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WestergaardFS13,
  author    = {Michael Westergaard and
               Dirk Fahland and
               Christian Stahl},
  title     = {Grade/CPN: {A} Tool and Temporal Logic for Testing Colored Petri Net
               Models in Teaching},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {8},
  pages     = {180--202},
  year      = {2013},
  crossref  = {DBLP:journals/topnoc/2013-8},
  url       = {https://doi.org/10.1007/978-3-642-40465-8\_10},
  doi       = {10.1007/978-3-642-40465-8\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/WestergaardFS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-7,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Gianfranco Balbo and
               Maciej Koutny and
               Karsten Wolf},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7480},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38143-0},
  doi       = {10.1007/978-3-642-38143-0},
  isbn      = {978-3-642-38142-3},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2013-7.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-8,
  editor    = {Maciej Koutny and
               Wil M. P. van der Aalst and
               Alex Yakovlev},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VIII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8100},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8},
  doi       = {10.1007/978-3-642-40465-8},
  isbn      = {978-3-642-40464-1},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2013-8.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ArnoldB12,
  author    = {Sonya Arnold and
               Jonathan Billington},
  title     = {An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol
               Operating over the Transmission Control Protocol},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {226--250},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_10},
  doi       = {10.1007/978-3-642-35179-2\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ArnoldB12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Banaji12,
  author    = {Murad Banaji},
  title     = {Cycle Structure in {SR} and {DSR} Graphs: Implications for Multiple
               Equilibria and Stable Oscillation in Chemical Reaction Networks},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {1--21},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_1},
  doi       = {10.1007/978-3-642-29072-5\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Banaji12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BergenthumDHM12,
  author    = {Robin Bergenthum and
               J{\"{o}}rg Desel and
               Andreas Harrer and
               Sebastian Mauser},
  title     = {Modeling and Mining of Learnflows},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {22--50},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_2},
  doi       = {10.1007/978-3-642-29072-5\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BergenthumDHM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BruneoLP12,
  author    = {Dario Bruneo and
               Francesco Longo and
               Antonio Puliafito},
  title     = {Modeling Energy-Aware Cloud Federations with SRNs},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {277--307},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_12},
  doi       = {10.1007/978-3-642-35179-2\_12},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BruneoLP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Carmona12,
  author    = {Josep Carmona},
  title     = {The Label Splitting Problem},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {1--23},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_1},
  doi       = {10.1007/978-3-642-35179-2\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Carmona12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ChoppyDEKPY12,
  author    = {Christine Choppy and
               Anna Dedova and
               Sami Evangelista and
               Kais Klai and
               Laure Petrucci and
               Samir Youcef},
  title     = {Modelling and Formal Verification of the {NEO} Protocol},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {197--225},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_9},
  doi       = {10.1007/978-3-642-35179-2\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ChoppyDEKPY12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CiardoZJ12,
  author    = {Gianfranco Ciardo and
               Yang Zhao and
               Xiaoqing Jin},
  title     = {Ten Years of Saturation: {A} Petri Net Perspective},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {51--95},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_3},
  doi       = {10.1007/978-3-642-29072-5\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/CiardoZJ12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DarondeauR12,
  author    = {Philippe Darondeau and
               Laurie Ricker},
  title     = {Distributed Control of Discrete-Event Systems: {A} First Step},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {24--45},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_2},
  doi       = {10.1007/978-3-642-35179-2\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DarondeauR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DongenDA12,
  author    = {Boudewijn F. van Dongen and
               J{\"{o}}rg Desel and
               Wil M. P. van der Aalst},
  title     = {Aggregating Causal Runs into Workflow Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {334--363},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_14},
  doi       = {10.1007/978-3-642-35179-2\_14},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DongenDA12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Elhog-BenzinaHH12,
  author    = {Dorsaf Elhog{-}Benzina and
               Serge Haddad and
               Rolf Hennicker},
  title     = {Refinement and Asynchronous Composition of Modal Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {96--120},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_4},
  doi       = {10.1007/978-3-642-29072-5\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Elhog-BenzinaHH12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HillahKLP12,
  author    = {Lom{-}Messan Hillah and
               Fabrice Kordon and
               Charles Lakos and
               Laure Petrucci},
  title     = {Extending pnml Scope: {A} Framework to Combine Petri Nets Types},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {46--70},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_3},
  doi       = {10.1007/978-3-642-35179-2\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HillahKLP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HongKPE12,
  author    = {Silien Hong and
               Fabrice Kordon and
               Emmanuel Paviot{-}Adet and
               Sami Evangelista},
  title     = {Computing a Hierarchical Static Order for Decision Diagram-Based Representation
               from {P/T} Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {121--140},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_5},
  doi       = {10.1007/978-3-642-29072-5\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HongKPE12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Kindler12,
  author    = {Ekkart Kindler},
  title     = {Modelling Local and Global Behaviour: Petri Nets and Event Coordination},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {71--93},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_4},
  doi       = {10.1007/978-3-642-35179-2\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Kindler12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KnapikP12,
  author    = {Michal Knapik and
               Wojciech Penczek},
  title     = {Bounded Model Checking for Parametric Timed Automata},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {141--159},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_6},
  doi       = {10.1007/978-3-642-29072-5\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KnapikP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KordonLBCELLPTW12,
  author    = {Fabrice Kordon and
               Alban Linard and
               Didier Buchs and
               Maximilien Colange and
               Sami Evangelista and
               Kai Lampka and
               Niels Lohmann and
               Emmanuel Paviot{-}Adet and
               Yann Thierry{-}Mieg and
               Harro Wimmel},
  title     = {Report on the Model Checking Contest at Petri Nets 2011},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {169--196},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_8},
  doi       = {10.1007/978-3-642-35179-2\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KordonLBCELLPTW12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KoutnyP12,
  author    = {Maciej Koutny and
               Marta Pietkiewicz{-}Koutny},
  title     = {Synthesis Problem for Petri Nets with Localities},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {160--180},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_7},
  doi       = {10.1007/978-3-642-29072-5\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KoutnyP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Lopez-GraoC12,
  author    = {Juan{-}Pablo L{\'{o}}pez{-}Grao and
               Jos{\'{e}} Manuel Colom},
  title     = {A Petri Net Perspective on the Resource Allocation Problem in Software
               Engineering},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {181--200},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_8},
  doi       = {10.1007/978-3-642-29072-5\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Lopez-GraoC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MarroneMNPRV12,
  author    = {Stefano Marrone and
               Nicola Mazzocca and
               Roberto Nardone and
               Roberta Presta and
               Simon Pietro Romano and
               Valeria Vittorini},
  title     = {A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant
               Conferencing Framework},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {308--333},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_13},
  doi       = {10.1007/978-3-642-35179-2\_13},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MarroneMNPRV12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MascheroniF12,
  author    = {Marco Mascheroni and
               Fabio Farina},
  title     = {Nets-Within-Nets Paradigm and Grid Computing},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {201--220},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_9},
  doi       = {10.1007/978-3-642-29072-5\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MascheroniF12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SalemDK12,
  author    = {Ala{-}Eddine Ben Salem and
               Alexandre Duret{-}Lutz and
               Fabrice Kordon},
  title     = {Model Checking Using Generalized Testing Automata},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {94--122},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_5},
  doi       = {10.1007/978-3-642-35179-2\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SalemDK12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SedlmajerBHLBM12,
  author    = {Nicolas Sedlmajer and
               Didier Buchs and
               Steve Hostettler and
               Alban Linard and
               Edmundo L{\'{o}}pez B{\'{o}}beda and
               Alexis Marechal},
  title     = {A Domain Specific Language Approach for Genetic Regulatory Mechanisms
               Analysis},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {123--145},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_6},
  doi       = {10.1007/978-3-642-35179-2\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SedlmajerBHLBM12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SoleC12,
  author    = {Marc Sol{\'{e}} and
               Josep Carmona},
  title     = {Incremental Process Discovery},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {221--242},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_10},
  doi       = {10.1007/978-3-642-29072-5\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SoleC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/SuriadiOF12,
  author    = {Suriadi Suriadi and
               Chun Ouyang and
               Ernest Foo},
  title     = {Privacy Compliance Verification in Cryptographic Protocols},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {251--276},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_11},
  doi       = {10.1007/978-3-642-35179-2\_11},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SuriadiOF12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WagnerQMR12,
  author    = {Thomas Wagner and
               Jos{\'{e}} Ghislain Quenum and
               Daniel Moldt and
               Christine Reese},
  title     = {Providing an Agent Flavored Integration for Workflow Management},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {243--264},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_11},
  doi       = {10.1007/978-3-642-29072-5\_11},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/WagnerQMR12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Westergaard12,
  author    = {Michael Westergaard},
  title     = {Verifying Parallel Algorithms and Programs Using Coloured Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {6},
  pages     = {146--168},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-6},
  url       = {https://doi.org/10.1007/978-3-642-35179-2\_7},
  doi       = {10.1007/978-3-642-35179-2\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Westergaard12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/WestergaardK12,
  author    = {Michael Westergaard and
               Lars Michael Kristensen},
  title     = {A Graphical Approach to Component-Based and Extensible Model Checking
               Platforms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {5},
  pages     = {265--291},
  year      = {2012},
  crossref  = {DBLP:journals/topnoc/2012-5},
  url       = {https://doi.org/10.1007/978-3-642-29072-5\_12},
  doi       = {10.1007/978-3-642-29072-5\_12},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/WestergaardK12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-5,
  editor    = {Kurt Jensen and
               Susanna Donatelli and
               Jetty Kleijn},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {V}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6900},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29072-5},
  doi       = {10.1007/978-3-642-29072-5},
  isbn      = {978-3-642-29071-8},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2012-5.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-6,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Marco Ajmone Marsan and
               Giuliana Franceschinis and
               Jetty Kleijn and
               Lars Michael Kristensen},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7400},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35179-2},
  doi       = {10.1007/978-3-642-35179-2},
  isbn      = {978-3-642-35178-5},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2012-6.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DanoyBB10,
  author    = {Gr{\'{e}}goire Danoy and
               Pascal Bouvry and
               Olivier Boissier},
  title     = {A Multi-Agent Organizational Framework for Coevolutionary Optimization},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {199--224},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_9},
  doi       = {10.1007/978-3-642-18222-8\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DanoyBB10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DeselM10,
  author    = {J{\"{o}}rg Desel and
               Agathe Merceron},
  title     = {Vicinity Respecting Homomorphisms for Abstracting System Requirements},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {1--20},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_1},
  doi       = {10.1007/978-3-642-18222-8\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DeselM10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EvangelistaK10,
  author    = {Sami Evangelista and
               Lars Michael Kristensen},
  title     = {Search-Order Independent State Caching},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {21--41},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_2},
  doi       = {10.1007/978-3-642-18222-8\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/EvangelistaK10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeHHPT10,
  author    = {Kees M. van Hee and
               Jan Hidders and
               Geert{-}Jan Houben and
               Jan Paredaens and
               Philippe Thiran},
  title     = {On-the-Fly Auditing of Business Processes},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {144--173},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_7},
  doi       = {10.1007/978-3-642-18222-8\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HeeHHPT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KnapikNPPSZ10,
  author    = {Michal Knapik and
               Artur Niewiadomski and
               Wojciech Penczek and
               Agata P{\'{o}}lrola and
               Maciej Szreter and
               Andrzej Zbrzezny},
  title     = {Parametric Model Checking with VerICS},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {98--120},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_5},
  doi       = {10.1007/978-3-642-18222-8\_5},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/KnapikNPPSZ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KnapikSP10,
  author    = {Michal Knapik and
               Maciej Szreter and
               Wojciech Penczek},
  title     = {Bounded Parametric Model Checking for Elementary Net Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {42--71},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_3},
  doi       = {10.1007/978-3-642-18222-8\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KnapikSP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MansRAMB10,
  author    = {Ronny Mans and
               Nick C. Russell and
               Wil M. P. van der Aalst and
               Arnold J. Moleman and
               Piet J. M. Bakker},
  title     = {Schedule-Aware Workflow Management Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {121--143},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_6},
  doi       = {10.1007/978-3-642-18222-8\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MansRAMB10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/PenczekPZ10,
  author    = {Wojciech Penczek and
               Agata P{\'{o}}lrola and
               Andrzej Zbrzezny},
  title     = {SAT-Based (Parametric) Reachability for a Class of Distributed Time
               Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {72--97},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_4},
  doi       = {10.1007/978-3-642-18222-8\_4},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/PenczekPZ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Wester-EbbinghausMK10,
  author    = {Matthias Wester{-}Ebbinghaus and
               Daniel Moldt and
               Michael K{\"{o}}hler{-}Bu{\ss}meier},
  title     = {Modeling Organizational Units as Modular Components of Systems of
               Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {4},
  pages     = {174--198},
  year      = {2010},
  crossref  = {DBLP:journals/topnoc/2010-4},
  url       = {https://doi.org/10.1007/978-3-642-18222-8\_8},
  doi       = {10.1007/978-3-642-18222-8\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Wester-EbbinghausMK10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2010-4,
  editor    = {Kurt Jensen and
               Susanna Donatelli and
               Maciej Koutny},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {IV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6550},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-18222-8},
  doi       = {10.1007/978-3-642-18222-8},
  isbn      = {978-3-642-18221-1},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2010-4.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Aalst09,
  author    = {Wil M. P. van der Aalst},
  title     = {Process-Aware Information Systems: Lessons to Be Learned from Process
               Mining},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {1--26},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_1},
  doi       = {10.1007/978-3-642-00899-3\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Aalst09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AalstHHSVVW09,
  author    = {Wil M. P. van der Aalst and
               Kees M. van Hee and
               Arthur H. M. ter Hofstede and
               Natalia Sidorova and
               H. M. W. Verbeek and
               Marc Voorhoeve and
               Moe Thandar Wynn},
  title     = {Soundness of Workflow Nets with Reset Arcs},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {50--70},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_3},
  doi       = {10.1007/978-3-642-04856-2\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/AalstHHSVVW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BergenthumDM09,
  author    = {Robin Bergenthum and
               J{\"{o}}rg Desel and
               Sebastian Mauser},
  title     = {Comparison of Different Algorithms to Synthesize a Petri Net from
               a Partial Language},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {216--243},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_9},
  doi       = {10.1007/978-3-642-04856-2\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BergenthumDM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BergenthumDML09,
  author    = {Robin Bergenthum and
               J{\"{o}}rg Desel and
               Sebastian Mauser and
               Robert Lorenz},
  title     = {Construction of Process Models from Example Runs},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {243--259},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_14},
  doi       = {10.1007/978-3-642-00899-3\_14},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BergenthumDML09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BillingtonVG09,
  author    = {Jonathan Billington and
               Somsak Vanit{-}Anunchai and
               Guy Edward Gallasch},
  title     = {Parameterised Coloured Petri Net Channel Models},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {71--97},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_4},
  doi       = {10.1007/978-3-642-04856-2\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BillingtonVG09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BillingtonY09,
  author    = {Jonathan Billington and
               Cong Yuan},
  title     = {On Modelling and Analysing the Dynamic {MANET} On-Demand {(DYMO)}
               Routing Protocol},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {98--126},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_5},
  doi       = {10.1007/978-3-642-04856-2\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BillingtonY09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BonnefoiCK09,
  author    = {Fabien Bonnefoi and
               Christine Choppy and
               Fabrice Kordon},
  title     = {A Discretization Method from Coloured to Symmetric Nets: Application
               to an Industrial Example},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {159--188},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_7},
  doi       = {10.1007/978-3-642-04856-2\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BonnefoiCK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ChesaniLMMRS09,
  author    = {Federico Chesani and
               Evelina Lamma and
               Paola Mello and
               Marco Montali and
               Fabrizio Riguzzi and
               Sergio Storari},
  title     = {Exploiting Inductive Logic Programming Techniques for Declarative
               Process Mining},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {278--295},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_16},
  doi       = {10.1007/978-3-642-00899-3\_16},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ChesaniLMMRS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DongenMW09,
  author    = {Boudewijn F. van Dongen and
               Ana Karla Alves de Medeiros and
               L. Wen},
  title     = {Process Mining: Overview and Outlook of Petri Net Discovery Algorithms},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {225--242},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_13},
  doi       = {10.1007/978-3-642-00899-3\_13},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DongenMW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EvangelistaWK09,
  author    = {Sami Evangelista and
               Michael Westergaard and
               Lars Michael Kristensen},
  title     = {The ComBack Method Revisited: Caching Strategies and Extension with
               Delayed Duplicate Detection},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {189--215},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_8},
  doi       = {10.1007/978-3-642-04856-2\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/EvangelistaWK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeVSS09,
  author    = {Kees M. van Hee and
               H. M. W. Verbeek and
               Christian Stahl and
               Natalia Sidorova},
  title     = {A Framework for Linking and Pricing No-Cure-No-Pay Services},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {192--207},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_11},
  doi       = {10.1007/978-3-642-00899-3\_11},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HeeVSS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Kindler09,
  author    = {Ekkart Kindler},
  title     = {Model-Based Software Engineering and Process-Aware Information Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {27--45},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_2},
  doi       = {10.1007/978-3-642-00899-3\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Kindler09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Kohler-BussmeierWM09,
  author    = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
               Matthias Wester{-}Ebbinghaus and
               Daniel Moldt},
  title     = {A Formal Model for Organisational Structures behind Process-Aware
               Information Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {98--114},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_6},
  doi       = {10.1007/978-3-642-00899-3\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Kohler-BussmeierWM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Lakos09,
  author    = {Charles Lakos},
  title     = {Modelling Mobile {IP} with Mobile Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {127--158},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_6},
  doi       = {10.1007/978-3-642-04856-2\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Lakos09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/LohmannVD09,
  author    = {Niels Lohmann and
               Eric Verbeek and
               Remco M. Dijkman},
  title     = {Petri Net Transformations for Business Processes - {A} Survey},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {46--63},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_3},
  doi       = {10.1007/978-3-642-00899-3\_3},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/LohmannVD09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MansARBMLJ09,
  author    = {R. S. Mans and
               Wil M. P. van der Aalst and
               Nick C. Russell and
               Piet J. M. Bakker and
               Arnold J. Moleman and
               Kristian Bisgaard Lassen and
               Jens B{\ae}k J{\o}rgensen},
  title     = {From Requirements via Colored Workflow Nets to an Implementation in
               Several Workflow Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {25--49},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_2},
  doi       = {10.1007/978-3-642-04856-2\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MansARBMLJ09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Mendling09,
  author    = {Jan Mendling},
  title     = {Empirical Studies in Process Model Verification},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {208--224},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_12},
  doi       = {10.1007/978-3-642-00899-3\_12},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Mendling09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MietznerKL09,
  author    = {Ralph Mietzner and
               Dimka Karastoyanova and
               Frank Leymann},
  title     = {Business Grid: Combining Web Services and the Grid},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {136--151},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_8},
  doi       = {10.1007/978-3-642-00899-3\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/MietznerKL09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/PuhlmannW09,
  author    = {Frank Puhlmann and
               Mathias Weske},
  title     = {A Look Around the Corner: The Pi-Calculus},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {64--78},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_4},
  doi       = {10.1007/978-3-642-00899-3\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/PuhlmannW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ReichertRD09,
  author    = {Manfred Reichert and
               Stefanie Rinderle{-}Ma and
               Peter Dadam},
  title     = {Flexibility in Process-Aware Information Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {115--135},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_7},
  doi       = {10.1007/978-3-642-00899-3\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/ReichertRD09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/RussellAH09,
  author    = {Nick C. Russell and
               Wil M. P. van der Aalst and
               Arthur H. M. ter Hofstede},
  title     = {Designing a Workflow System Using Coloured Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {1--24},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_1},
  doi       = {10.1007/978-3-642-04856-2\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/RussellAH09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/RussellH09,
  author    = {Nick Russell and
               Arthur H. M. ter Hofstede},
  title     = {newYAWL: Towards Workflow 2.0},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {79--97},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_5},
  doi       = {10.1007/978-3-642-00899-3\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/RussellH09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/StahlMB09,
  author    = {Christian Stahl and
               Peter Massuthe and
               Jan Bretschneider},
  title     = {Deciding Substitutability of Services with Operating Guidelines},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {172--191},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_10},
  doi       = {10.1007/978-3-642-00899-3\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/StahlMB09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/TruongD09,
  author    = {Hong Linh Truong and
               Schahram Dustdar},
  title     = {Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes
               in SOA-Based Environments},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {260--277},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_15},
  doi       = {10.1007/978-3-642-00899-3\_15},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/TruongD09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Wolf09,
  author    = {Karsten Wolf},
  title     = {Does My Service Have Partners?},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {2},
  pages     = {152--171},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-2},
  url       = {https://doi.org/10.1007/978-3-642-00899-3\_9},
  doi       = {10.1007/978-3-642-00899-3\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Wolf09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Xu09,
  author    = {Xian Xu},
  title     = {On Bisimulation Theory in Linear Higher-Order \emph{pi}-Calculus},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {3},
  pages     = {244--274},
  year      = {2009},
  crossref  = {DBLP:journals/topnoc/2009-3},
  url       = {https://doi.org/10.1007/978-3-642-04856-2\_10},
  doi       = {10.1007/978-3-642-04856-2\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Xu09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-2,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst},
  title     = {Transactions on Petri Nets and Other Models of Concurrency II, Special
               Issue on Concurrency in Process-Aware Information Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {5460},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00899-3},
  doi       = {10.1007/978-3-642-00899-3},
  isbn      = {978-3-642-00898-6},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2009-2.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-3,
  editor    = {Kurt Jensen and
               Jonathan Billington and
               Maciej Koutny},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5800},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04856-2},
  doi       = {10.1007/978-3-642-04856-2},
  isbn      = {978-3-642-04854-8},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2009-3.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BaldanCKS08,
  author    = {Paolo Baldan and
               Andrea Corradini and
               Barbara K{\"{o}}nig and
               Stefan Schwoon},
  title     = {McMillan's Complete Prefix for Contextual Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {199--220},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_12},
  doi       = {10.1007/978-3-540-89287-8\_12},
  timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/BaldanCKS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BonetHHT08,
  author    = {Blai Bonet and
               Patrik Haslum and
               Sarah L. Hickmott and
               Sylvie Thi{\'{e}}baux},
  title     = {Directed Unfolding of Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {172--198},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_11},
  doi       = {10.1007/978-3-540-89287-8\_11},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/BonetHHT08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Brabrand08,
  author    = {Claus Brabrand},
  title     = {Constructive Alignment for Teaching Model-Based Design for Concurrency},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {1--18},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_1},
  doi       = {10.1007/978-3-540-89287-8\_1},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/Brabrand08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CabacD08,
  author    = {Lawrence Cabac and
               Nicolas Denz},
  title     = {Net Components for the Integration of Process Mining into Agent-Oriented
               Software Engineering},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {86--103},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_6},
  doi       = {10.1007/978-3-540-89287-8\_6},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/CabacD08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CalzolaiNLT08,
  author    = {Francesco Calzolai and
               Rocco De Nicola and
               Michele Loreti and
               Francesco Tiezzi},
  title     = {TAPAs: {A} Tool for the Analysis of Process Algebras},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {54--70},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_4},
  doi       = {10.1007/978-3-540-89287-8\_4},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/CalzolaiNLT08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/CortadellaKBCJ08,
  author    = {Jordi Cortadella and
               Michael Kishinevsky and
               Dmitry Bufistov and
               Josep Carmona and
               Jorge J{\'{u}}lvez},
  title     = {Elasticity and Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {221--249},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_13},
  doi       = {10.1007/978-3-540-89287-8\_13},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/CortadellaKBCJ08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DahmaniIB08,
  author    = {Djaouida Dahmani and
               Jean{-}Michel Ili{\'{e}} and
               Malika Boukala},
  title     = {Time Recursive Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {104--118},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_7},
  doi       = {10.1007/978-3-540-89287-8\_7},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DahmaniIB08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/EisentrautH08,
  author    = {Christian Eisentraut and
               Holger Hermanns},
  title     = {Teaching Concurrency Concepts to Freshmen},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {35--53},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_3},
  doi       = {10.1007/978-3-540-89287-8\_3},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/EisentrautH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/HeeKPSW08,
  author    = {Kees M. van Hee and
               Jeroen Keiren and
               Reinier Post and
               Natalia Sidorova and
               Jan Martijn E. M. van der Werf},
  title     = {Designing Case Handling Systems},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {119--133},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_8},
  doi       = {10.1007/978-3-540-89287-8\_8},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/HeeKPSW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KristensenJ08,
  author    = {Lars Michael Kristensen and
               Kurt Jensen},
  title     = {Teaching Modelling and Validation of Concurrent Systems Using Coloured
               Petri Nets},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {19--34},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_2},
  doi       = {10.1007/978-3-540-89287-8\_2},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/KristensenJ08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/LassenD08,
  author    = {Kristian Bisgaard Lassen and
               Boudewijn F. van Dongen},
  title     = {Translating Message Sequence Charts to other Process Languages Using
               Process Mining},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {71--85},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_5},
  doi       = {10.1007/978-3-540-89287-8\_5},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/LassenD08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/RamosBHH08,
  author    = {Isaac Corro Ramos and
               Alessandro Di Bucchianico and
               Lusine Hakobyan and
               Kees M. van Hee},
  title     = {Model Driven Testing Based on Test History},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {134--151},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_9},
  doi       = {10.1007/978-3-540-89287-8\_9},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/RamosBHH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/VerbeekPAW08,
  author    = {Henricus M. W. (Eric) Verbeek and
               A. Johannes Pretorius and
               Wil M. P. van der Aalst and
               Jarke J. van Wijk},
  title     = {Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based
               Visualization},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {1},
  pages     = {152--171},
  year      = {2008},
  crossref  = {DBLP:journals/topnoc/2008-1},
  url       = {https://doi.org/10.1007/978-3-540-89287-8\_10},
  doi       = {10.1007/978-3-540-89287-8\_10},
  timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/VerbeekPAW08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2008-1,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Jonathan Billington},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5100},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89287-8},
  doi       = {10.1007/978-3-540-89287-8},
  isbn      = {978-3-540-89286-1},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2008-1.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2019-14,
  editor    = {Maciej Koutny and
               Lucia Pomello and
               Lars Michael Kristensen},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XIV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11790},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-662-60651-3},
  doi       = {10.1007/978-3-662-60651-3},
  isbn      = {978-3-662-60650-6},
  timestamp = {Tue, 17 Dec 2019 15:23:35 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/2019-14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2018-13,
  editor    = {Maciej Koutny and
               Lars Michael Kristensen and
               Wojciech Penczek},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XIII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11090},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-662-58381-4},
  doi       = {10.1007/978-3-662-58381-4},
  isbn      = {978-3-662-58380-7},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2018-13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2017-12,
  editor    = {Maciej Koutny and
               Jetty Kleijn and
               Wojciech Penczek},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10470},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-55862-1},
  doi       = {10.1007/978-3-662-55862-1},
  isbn      = {978-3-662-55861-4},
  timestamp = {Sat, 19 Oct 2019 19:06:28 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2017-12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2016-11,
  editor    = {Maciej Koutny and
               J{\"{o}}rg Desel and
               Jetty Kleijn},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {XI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9930},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-53401-4},
  doi       = {10.1007/978-3-662-53401-4},
  isbn      = {978-3-662-53400-7},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2016-11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2015-10,
  editor    = {Maciej Koutny and
               J{\"{o}}rg Desel and
               Serge Haddad},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {X}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9410},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48650-4},
  doi       = {10.1007/978-3-662-48650-4},
  isbn      = {978-3-662-48649-8},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2015-10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2014-9,
  editor    = {Maciej Koutny and
               Serge Haddad and
               Alex Yakovlev},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {IX}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8910},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-45730-6},
  doi       = {10.1007/978-3-662-45730-6},
  isbn      = {978-3-662-45729-0},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2014-9.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-7,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Gianfranco Balbo and
               Maciej Koutny and
               Karsten Wolf},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7480},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38143-0},
  doi       = {10.1007/978-3-642-38143-0},
  isbn      = {978-3-642-38142-3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2013-7.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2013-8,
  editor    = {Maciej Koutny and
               Wil M. P. van der Aalst and
               Alex Yakovlev},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VIII}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8100},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40465-8},
  doi       = {10.1007/978-3-642-40465-8},
  isbn      = {978-3-642-40464-1},
  timestamp = {Sat, 19 Oct 2019 19:06:28 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2013-8.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-6,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Marco Ajmone Marsan and
               Giuliana Franceschinis and
               Jetty Kleijn and
               Lars Michael Kristensen},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {VI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7400},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35179-2},
  doi       = {10.1007/978-3-642-35179-2},
  isbn      = {978-3-642-35178-5},
  timestamp = {Sat, 19 Oct 2019 19:06:28 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2012-6.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-5,
  editor    = {Kurt Jensen and
               Susanna Donatelli and
               Jetty Kleijn},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {V}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6900},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29072-5},
  doi       = {10.1007/978-3-642-29072-5},
  isbn      = {978-3-642-29071-8},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2012-5.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2010-4,
  editor    = {Kurt Jensen and
               Susanna Donatelli and
               Maciej Koutny},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {IV}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6550},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-18222-8},
  doi       = {10.1007/978-3-642-18222-8},
  isbn      = {978-3-642-18221-1},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2010-4.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-2,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst},
  title     = {Transactions on Petri Nets and Other Models of Concurrency II, Special
               Issue on Concurrency in Process-Aware Information Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {5460},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00899-3},
  doi       = {10.1007/978-3-642-00899-3},
  isbn      = {978-3-642-00898-6},
  timestamp = {Sat, 19 Oct 2019 19:06:28 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2009-2.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2009-3,
  editor    = {Kurt Jensen and
               Jonathan Billington and
               Maciej Koutny},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5800},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04856-2},
  doi       = {10.1007/978-3-642-04856-2},
  isbn      = {978-3-642-04854-8},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2009-3.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2008-1,
  editor    = {Kurt Jensen and
               Wil M. P. van der Aalst and
               Jonathan Billington},
  title     = {Transactions on Petri Nets and Other Models of Concurrency {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5100},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89287-8},
  doi       = {10.1007/978-3-540-89287-8},
  isbn      = {978-3-540-89286-1},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/journals/topnoc/2008-1.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics