Search dblp for Publications

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

 download as .bib file

@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    = {Wed, 10 May 2023 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.