default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:journals/topnoc:"
download as .bib file
@article{DBLP:journals/topnoc/AbdulrahmanS23,
author = {Hanin Abdulrahman and
Jason Steggles},
title = {Compositional Techniques for Boolean Networks and Attractor Analysis},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {264--294},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_11},
doi = {10.1007/978-3-662-68191-6\_11},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/AbdulrahmanS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AdobbatiBPS23,
author = {Federica Adobbati and
Luca Bernardinello and
Lucia Pomello and
Riccardo Stramare},
title = {Implementable Strategies for a Two-Player Asynchronous Game on Petri
Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {189--211},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_8},
doi = {10.1007/978-3-662-68191-6\_8},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/AdobbatiBPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AdobbatiBSP23,
author = {Federica Adobbati and
Luca Bernardinello and
G{\"{o}}rkem Kilin{\c{c}} Soylu and
Lucia Pomello},
title = {Computing a Parametric Reveals Relation For Bounded Equal-Conflict
Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {54--83},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_3},
doi = {10.1007/978-3-662-68191-6\_3},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/AdobbatiBSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AhmedP23,
author = {Aishah Ahmed and
Marta Pietkiewicz{-}Koutny},
title = {Strategies for Minimising the Synthesised ENL-Systems},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {162--188},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_7},
doi = {10.1007/978-3-662-68191-6\_7},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/AhmedP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AmatBG23,
author = {Nicolas Amat and
Pierre Bouvier and
Hubert Garavel},
title = {A Toolchain to Compute Concurrent Places of Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {1--26},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_1},
doi = {10.1007/978-3-662-68191-6\_1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/AmatBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/ArcileDK23,
author = {Johan Arcile and
Raymond R. Devillers and
Hanna Klaudel},
title = {An Efficient State Space Construction for a Class of Timed Automata},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {246--263},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_10},
doi = {10.1007/978-3-662-68191-6\_10},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/ArcileDK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BendeVCPL23,
author = {Philipp Bende and
Olga Vovk and
David Caraveo and
Ludwig Pechmann and
Martin Leucker},
title = {A Case Study on Data Protection for a Cloud- and AI-Based Homecare
Medical Device},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {138--161},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_6},
doi = {10.1007/978-3-662-68191-6\_6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/BendeVCPL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BhattacharyyaK23,
author = {Anirban Bhattacharyya and
Maciej Koutny},
title = {Confusion-Tolerant Computation of Probability in Acyclic Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {212--245},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_9},
doi = {10.1007/978-3-662-68191-6\_9},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BhattacharyyaK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Fatemi0M23,
author = {Bahareh Fatemi and
Fazle Rabbi and
Wendy MacCaull},
title = {A Validated Learning Approach to Healthcare Process Analysis Through
Contextual and Temporal Filtering},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {108--137},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_5},
doi = {10.1007/978-3-662-68191-6\_5},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/Fatemi0M23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Kohler-BussmeierR23,
author = {Michael K{\"{o}}hler{-}Bu{\ss}meier and
Heiko R{\"{o}}lke},
title = {Analysing Adaption Processes of Hornets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {84--107},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_4},
doi = {10.1007/978-3-662-68191-6\_4},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/Kohler-BussmeierR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/StrandKP23,
author = {Ruben Dobler Strand and
Lars Michael Kristensen and
Laure Petrucci},
title = {Development and Verification of a Microservice Architecture for a
Fire Risk Notification System},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {17},
pages = {27--53},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6\_2},
doi = {10.1007/978-3-662-68191-6\_2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/StrandKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2023-17,
editor = {Maciej Koutny and
Robin Bergenthum and
Gianfranco Ciardo},
title = {Transactions on Petri Nets and Other Models of Concurrency {XVII}},
series = {Lecture Notes in Computer Science},
volume = {14150},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-662-68191-6},
doi = {10.1007/978-3-662-68191-6},
isbn = {978-3-662-68190-9},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/2023-17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BernardinelloLNP22,
author = {Luca Bernardinello and
Irina A. Lomazova and
Roman Nesterov and
Lucia Pomello},
title = {Property-Preserving Transformations of Elementary Net Systems Based
on Morphisms},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {16},
pages = {1--23},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65303-6\_1},
doi = {10.1007/978-3-662-65303-6\_1},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/BernardinelloLNP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BruningsFD22,
author = {Mitchel Brunings and
Dirk Fahland and
Boudewijn F. van Dongen},
title = {Defining Meaningful Local Process Models},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {16},
pages = {24--48},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65303-6\_2},
doi = {10.1007/978-3-662-65303-6\_2},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/BruningsFD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KwantesK22,
author = {Pieter M. Kwantes and
Jetty Kleijn},
title = {Distributed Synthesis of Asynchronously Communicating Distributed
Process Models},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {16},
pages = {49--72},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65303-6\_3},
doi = {10.1007/978-3-662-65303-6\_3},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KwantesK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/LiebkeW22,
author = {Torsten Liebke and
Karsten Wolf},
title = {Using Approximation for the Verification of Token-Scaling Models},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {16},
pages = {73--90},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65303-6\_4},
doi = {10.1007/978-3-662-65303-6\_4},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/LiebkeW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/RafievMXYNMTBVB22,
author = {Ashur Rafiev and
Jordan Morris and
Fei Xia and
Alex Yakovlev and
Matthew Naylor and
Simon W. Moore and
David B. Thomas and
Graeme M. Bragg and
Mark Vousden and
Andrew Brown},
title = {Practical Distributed Implementation of Very Large Scale Petri Net
Simulations},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {16},
pages = {112--139},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65303-6\_6},
doi = {10.1007/978-3-662-65303-6\_6},
timestamp = {Tue, 12 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/RafievMXYNMTBVB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Wolf22,
author = {Karsten Wolf},
title = {Portfolio Management in Explicit Model Checking},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {16},
pages = {91--111},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65303-6\_5},
doi = {10.1007/978-3-662-65303-6\_5},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/Wolf22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2022-16,
editor = {Maciej Koutny and
Fabrice Kordon and
Daniel Moldt},
title = {Transactions on Petri Nets and Other Models of Concurrency {XVI}},
series = {Lecture Notes in Computer Science},
volume = {13220},
publisher = {Springer Berlin Heidelberg},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65303-6},
doi = {10.1007/978-3-662-65303-6},
isbn = {978-3-662-65303-6},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/2022-16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/0006KR21,
author = {Alejandro Rodr{\'{\i}}guez and
Lars Michael Kristensen and
Adrian Rutle},
title = {Verification of the {MQTT} IoT Protocol Using Property-Specific {CTL}
Sweep-Line Algorithms},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {165--183},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_8},
doi = {10.1007/978-3-662-63079-2\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/0006KR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AdobbatiBP21,
author = {Federica Adobbati and
Luca Bernardinello and
Lucia Pomello},
title = {A Two-Player Asynchronous Game on Fully Observable Petri Nets},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {126--149},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_6},
doi = {10.1007/978-3-662-63079-2\_6},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/AdobbatiBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AdobbatiFGA21,
author = {Federica Adobbati and
Carlo Ferigato and
Stefano Gandelli and
Adri{\'{a}}n {Puerto Aubel}},
title = {Stability of Regional Orthomodular Posets Under Synchronisation and
Refinement},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {50--74},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_3},
doi = {10.1007/978-3-662-63079-2\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/AdobbatiFGA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/BertiA21,
author = {Alessandro Berti and
Wil M. P. van der Aalst},
title = {A Novel Token-Based Replay Technique to Speed Up Conformance Checking
and Process Enhancement},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {1--26},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_1},
doi = {10.1007/978-3-662-63079-2\_1},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/BertiA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/DevillersEH21,
author = {Raymond R. Devillers and
Evgeny Erofeev and
Thomas Hujsa},
title = {Efficient Synthesis of Weighted Marked Graphs with Circular Reachability
Graph, and Beyond},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {75--100},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_4},
doi = {10.1007/978-3-662-63079-2\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/DevillersEH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Gomez-MartinezLG21,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Juan de Lara and
Esther Guerra},
title = {Extensible Structural Analysis of Petri Net Product Lines},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {27--49},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_2},
doi = {10.1007/978-3-662-63079-2\_2},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/Gomez-MartinezLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/LiebkeW21,
author = {Torsten Liebke and
Karsten Wolf},
title = {Solving Finite-Linear-Path CTL-Formulas Using the {CEGAR} Approach},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {150--164},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_7},
doi = {10.1007/978-3-662-63079-2\_7},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/LiebkeW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Tredup21,
author = {Ronny Tredup},
title = {The Complexity of Synthesizing sf nop-Equipped Boolean Petri Nets
from g-Bounded Inputs},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {15},
pages = {101--125},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2\_5},
doi = {10.1007/978-3-662-63079-2\_5},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/Tredup21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2021-15,
editor = {Maciej Koutny and
Fabrice Kordon and
Lucia Pomello},
title = {Transactions on Petri Nets and Other Models of Concurrency {XV}},
series = {Lecture Notes in Computer Science},
volume = {12530},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-662-63079-2},
doi = {10.1007/978-3-662-63079-2},
isbn = {978-3-662-63078-5},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/2021-15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
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},
url = {https://doi.org/10.1007/978-3-662-60651-3\_1},
doi = {10.1007/978-3-662-60651-3\_1},
timestamp = {Thu, 09 Dec 2021 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},
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},
url = {https://doi.org/10.1007/978-3-662-60651-3\_7},
doi = {10.1007/978-3-662-60651-3\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-662-60651-3\_8},
doi = {10.1007/978-3-662-60651-3\_8},
timestamp = {Wed, 07 Dec 2022 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},
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},
url = {https://doi.org/10.1007/978-3-662-58381-4\_4},
doi = {10.1007/978-3-662-58381-4\_4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-662-58381-4\_3},
doi = {10.1007/978-3-662-58381-4\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-662-58381-4\_2},
doi = {10.1007/978-3-662-58381-4\_2},
timestamp = {Wed, 07 Dec 2022 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},
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},
url = {https://doi.org/10.1007/978-3-662-58381-4\_7},
doi = {10.1007/978-3-662-58381-4\_7},
timestamp = {Fri, 25 Dec 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},
url = {https://doi.org/10.1007/978-3-662-58381-4\_9},
doi = {10.1007/978-3-662-58381-4\_9},
timestamp = {Tue, 21 Mar 2023 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},
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},
url = {https://doi.org/10.1007/978-3-662-58381-4\_8},
doi = {10.1007/978-3-662-58381-4\_8},
timestamp = {Sun, 06 Oct 2024 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},
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},
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},
url = {https://doi.org/10.1007/978-3-662-55862-1\_3},
doi = {10.1007/978-3-662-55862-1\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-662-55862-1\_5},
doi = {10.1007/978-3-662-55862-1\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-662-55862-1\_6},
doi = {10.1007/978-3-662-55862-1\_6},
timestamp = {Wed, 07 Dec 2022 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},
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},
url = {https://doi.org/10.1007/978-3-662-55862-1\_8},
doi = {10.1007/978-3-662-55862-1\_8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
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},
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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_7},
doi = {10.1007/978-3-662-53401-4\_7},
timestamp = {Fri, 25 Dec 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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_3},
doi = {10.1007/978-3-662-53401-4\_3},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_2},
doi = {10.1007/978-3-662-53401-4\_2},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_10},
doi = {10.1007/978-3-662-53401-4\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_16},
doi = {10.1007/978-3-662-53401-4\_16},
timestamp = {Tue, 21 Mar 2023 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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_12},
doi = {10.1007/978-3-662-53401-4\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_6},
doi = {10.1007/978-3-662-53401-4\_6},
timestamp = {Thu, 09 Dec 2021 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},
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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_9},
doi = {10.1007/978-3-662-53401-4\_9},
timestamp = {Thu, 09 Dec 2021 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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_11},
doi = {10.1007/978-3-662-53401-4\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
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},
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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_8},
doi = {10.1007/978-3-662-53401-4\_8},
timestamp = {Thu, 09 Dec 2021 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},
url = {https://doi.org/10.1007/978-3-662-53401-4\_4},
doi = {10.1007/978-3-662-53401-4\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
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},
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},
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},
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},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-662-48650-4\_7},
doi = {10.1007/978-3-662-48650-4\_7},
timestamp = {Mon, 26 Oct 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},
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},
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},
url = {https://doi.org/10.1007/978-3-662-45730-6\_2},
doi = {10.1007/978-3-662-45730-6\_2},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-662-45730-6\_6},
doi = {10.1007/978-3-662-45730-6\_6},
timestamp = {Mon, 03 Jan 2022 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},
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},
url = {https://doi.org/10.1007/978-3-662-45730-6\_8},
doi = {10.1007/978-3-662-45730-6\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
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},
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},
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},
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},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-642-40465-8\_6},
doi = {10.1007/978-3-642-40465-8\_6},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-642-38143-0\_4},
doi = {10.1007/978-3-642-38143-0\_4},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-642-40465-8\_7},
doi = {10.1007/978-3-642-40465-8\_7},
timestamp = {Mon, 26 Oct 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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-642-29072-5\_2},
doi = {10.1007/978-3-642-29072-5\_2},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
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},
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},
url = {https://doi.org/10.1007/978-3-642-35179-2\_1},
doi = {10.1007/978-3-642-35179-2\_1},
timestamp = {Thu, 09 Dec 2021 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},
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},
url = {https://doi.org/10.1007/978-3-642-29072-5\_3},
doi = {10.1007/978-3-642-29072-5\_3},
timestamp = {Mon, 03 Jan 2022 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
S. 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},
url = {https://doi.org/10.1007/978-3-642-35179-2\_2},
doi = {10.1007/978-3-642-35179-2\_2},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-642-35179-2\_13},
doi = {10.1007/978-3-642-35179-2\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-642-29072-5\_9},
doi = {10.1007/978-3-642-29072-5\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-642-29072-5\_10},
doi = {10.1007/978-3-642-29072-5\_10},
timestamp = {Thu, 09 Dec 2021 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},
url = {https://doi.org/10.1007/978-3-642-35179-2\_11},
doi = {10.1007/978-3-642-35179-2\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-642-18222-8\_9},
doi = {10.1007/978-3-642-18222-8\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-642-04856-2\_3},
doi = {10.1007/978-3-642-04856-2\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-642-04856-2\_4},
doi = {10.1007/978-3-642-04856-2\_4},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
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},
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},
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},
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
Lijie 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},
url = {https://doi.org/10.1007/978-3-642-00899-3\_13},
doi = {10.1007/978-3-642-00899-3\_13},
timestamp = {Tue, 20 Aug 2024 01:00:00 +0200},
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},
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},
url = {https://doi.org/10.1007/978-3-642-00899-3\_11},
doi = {10.1007/978-3-642-00899-3\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-642-00899-3\_3},
doi = {10.1007/978-3-642-00899-3\_3},
timestamp = {Sun, 04 Aug 2024 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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-540-89287-8\_4},
doi = {10.1007/978-3-540-89287-8\_4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-540-89287-8\_13},
doi = {10.1007/978-3-540-89287-8\_13},
timestamp = {Thu, 09 Dec 2021 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},
url = {https://doi.org/10.1007/978-3-540-89287-8\_7},
doi = {10.1007/978-3-540-89287-8\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
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},
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},
url = {https://doi.org/10.1007/978-3-540-89287-8\_8},
doi = {10.1007/978-3-540-89287-8\_8},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
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},
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},
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},
url = {https://doi.org/10.1007/978-3-540-89287-8\_9},
doi = {10.1007/978-3-540-89287-8\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
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},
url = {https://doi.org/10.1007/978-3-540-89287-8\_10},
doi = {10.1007/978-3-540-89287-8\_10},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
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}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-01-29 20:03 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
