default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/apn/pn2018.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/Aalst18,
author = {Wil M. P. van der Aalst},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Markings in Perpetual Free-Choice Nets Are Fully Characterized by
Their Enabled Transitions},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {315--336},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_16},
doi = {10.1007/978-3-319-91268-4\_16},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Aalst18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreD18,
author = {Elvio Gilberto Amparore and
Susanna Donatelli},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {GreatTeach: {A} Tool for Teaching (Stochastic) Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {416--425},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_24},
doi = {10.1007/978-3-319-91268-4\_24},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarbotBDH18,
author = {Beno{\^{\i}}t Barbot and
B{\'{e}}atrice B{\'{e}}rard and
Yann Duplouy and
Serge Haddad},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Integrating Simulink Models into the Model Checker Cosmos},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {363--373},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_19},
doi = {10.1007/978-3-319-91268-4\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/BarbotBDH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BertrandKLP18,
author = {Cl{\'{e}}ment Bertrand and
Hanna Klaudel and
Matthieu Latapy and
Fr{\'{e}}d{\'{e}}ric Peschanski},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Pattern Matching in Link Streams: {A} Token-Based Approach},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {227--247},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_12},
doi = {10.1007/978-3-319-91268-4\_12},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BertrandKLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestGV18,
author = {Eike Best and
Nataliya Gribovskaya and
Irina B. Virbitskaite},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {From Event-Oriented Models to Transition Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {117--139},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_7},
doi = {10.1007/978-3-319-91268-4\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestGV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BonnelandDJJS18,
author = {Frederik B{\o}nneland and
Jakob Dyhr and
Peter Gj{\o}l Jensen and
Mads Johannsen and
Jir{\'{\i}} Srba},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Simplification of {CTL} Formulae for Efficient Model Checking of Petri
Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {143--163},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_8},
doi = {10.1007/978-3-319-91268-4\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/BonnelandDJJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrinkrolfR18,
author = {Christoph Brinkrolf and
Philo Reipke},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {OMPetri - {A} Software Application for Modeling and Simulation Using
Extended Hybrid Petri Nets by Employing OpenModelica},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {406--415},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_23},
doi = {10.1007/978-3-319-91268-4\_23},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BrinkrolfR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BuchsKLMR18,
author = {Didier Buchs and
Stefan Klikovits and
Alban Linard and
Romain Mencattini and
Dimitri Racordon},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {A Model Checker Collection for the Model Checking Contest Using Docker
and Machine Learning},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {385--395},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_21},
doi = {10.1007/978-3-319-91268-4\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BuchsKLMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersH18,
author = {Raymond R. Devillers and
Thomas Hujsa},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Analysis and Synthesis of Weighted Marked Graph Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {19--39},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_2},
doi = {10.1007/978-3-319-91268-4\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DevillersH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DevillersS18,
author = {Raymond R. Devillers and
Uli Schlachter},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Factorisation of Petri Net Solvable Transition Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {82--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_5},
doi = {10.1007/978-3-319-91268-4\_5},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DevillersS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Frutos-EscrigKM18,
author = {David de Frutos{-}Escrig and
Maciej Koutny and
Lukasz Mikulski},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {An Efficient Characterization of Petri Net Solvable Binary Words},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {207--226},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_11},
doi = {10.1007/978-3-319-91268-4\_11},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Frutos-EscrigKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JancarLS18,
author = {Petr Jancar and
J{\'{e}}r{\^{o}}me Leroux and
Gr{\'{e}}goire Sutre},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition
Systems with States},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {184--203},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_10},
doi = {10.1007/978-3-319-91268-4\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JancarLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Janicki18,
author = {Ryszard Janicki},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Modeling Operational Semantics with Interval Orders Represented by
Sequences of Antichains},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {251--271},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_13},
doi = {10.1007/978-3-319-91268-4\_13},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Janicki18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JungesKS018,
author = {Sebastian Junges and
Joost{-}Pieter Katoen and
Mari{\"{e}}lle Stoelinga and
Matthias Volk},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {One Net Fits All - {A} Unifying Semantics of Dynamic Fault Trees Using
GSPNs},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {272--293},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_14},
doi = {10.1007/978-3-319-91268-4\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JungesKS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kindler18,
author = {Ekkart Kindler},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {ePNK Applications and Annotations: {A} Simulator for {YAWL} Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {339--350},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_17},
doi = {10.1007/978-3-319-91268-4\_17},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Kindler18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KordonT18,
author = {Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Self-adaptive Model Checking, the Next Step?},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {3--15},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_1},
doi = {10.1007/978-3-319-91268-4\_1},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KordonT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LefaucheuxGS18,
author = {Engel Lefaucheux and
Alessandro Giua and
Carla Seatzu},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Basis Coverability Graph for Partially Observable Petri Nets with
Application to Diagnosability Analysis},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {164--183},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_9},
doi = {10.1007/978-3-319-91268-4\_9},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LefaucheuxGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchlachterW18,
author = {Uli Schlachter and
Harro Wimmel},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {A Geometric Characterisation of Event/State Separation},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {99--116},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_6},
doi = {10.1007/978-3-319-91268-4\_6},
timestamp = {Sat, 02 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SchlachterW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SilvaTF18,
author = {Carlos Eduardo Alves da Silva and
Jos{\'{e}} Jean{-}Paul Zanlucchi de Souza Tavares and
Marco Vin{\'{\i}}cius Muniz Ferreira},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Arduino Library Developed for Petri Net Inserted into {RFID} Database
and Variants},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {396--405},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_22},
doi = {10.1007/978-3-319-91268-4\_22},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SilvaTF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TaxSAH18,
author = {Niek Tax and
Natalia Sidorova and
Wil M. P. van der Aalst and
Reinder Haakma},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {LocalProcessModelDiscovery: Bringing Petri Nets to the Pattern Mining
World},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {374--384},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_20},
doi = {10.1007/978-3-319-91268-4\_20},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/TaxSAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TredupRW18,
author = {Ronny Tredup and
Christian Rosenke and
Karsten Wolf},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple
Inputs},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {40--59},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_3},
doi = {10.1007/978-3-319-91268-4\_3},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/TredupRW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Valk18,
author = {R{\"{u}}diger Valk},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {On the Structure of Cycloids Introduced by Carl Adam Petri},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {294--314},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_15},
doi = {10.1007/978-3-319-91268-4\_15},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Valk18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Wolf18,
author = {Karsten Wolf},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Petri Net Synthesis with Union/Find},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {60--81},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_4},
doi = {10.1007/978-3-319-91268-4\_4},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Wolf18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Wolf18a,
author = {Karsten Wolf},
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Petri Net Model Checking with LoLA 2},
booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
pages = {351--362},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4\_18},
doi = {10.1007/978-3-319-91268-4\_18},
timestamp = {Tue, 29 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Wolf18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2018,
editor = {Victor Khomenko and
Olivier H. Roux},
title = {Application and Theory of Petri Nets and Concurrency - 39th International
Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10877},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91268-4},
doi = {10.1007/978-3-319-91268-4},
isbn = {978-3-319-91267-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2018.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 2024-10-18 23:57 CEST 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:
