Search dblp for Publications

export results for "toc:db/journals/topnoc/topnoc14.bht:"

 download as .bib file

@article{DBLP:journals/topnoc/0006KR19,
  author    = {Alejandro Rodr{\'{\i}}guez and
               Lars Michael Kristensen and
               Adrian Rutle},
  title     = {Formal Modelling and Incremental Verification of the {MQTT} IoT Protocol},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {126--145},
  year      = {2019},
  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 = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/AalstCCD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/AndreKLPP19,
  author    = {{\'{E}}tienne Andr{\'{e}} and
               Michal Knapik and
               Didier Lime and
               Wojciech Penczek and
               Laure Petrucci},
  title     = {Parametric Verification: An Introduction},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {64--100},
  year      = {2019},
  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 = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/DevillersEH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/MostellerHMS19,
  author    = {David Mosteller and
               Michael Haustermann and
               Daniel Moldt and
               Dennis Schmitz},
  title     = {Integrated Simulation of Domain-Specific Modeling Languages with Petri
               Net-Based Transformational Semantics},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {101--125},
  year      = {2019},
  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 = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/topnoc/SyringTA19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/Wolf19,
  author    = {Karsten Wolf},
  title     = {How Petri Net Theory Serves Petri Net Model Checking: {A} Survey},
  journal   = {Trans. Petri Nets Other Model. Concurr.},
  volume    = {14},
  pages     = {36--63},
  year      = {2019},
  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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics