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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics