Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/topnoc/topnoc11.bht:"
@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} }
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.