Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/apn/pn2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/0001HW14,
author = {Robert Lorenz and
Markus Huber and
G{\"{u}}nther Wirsching},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {On Weighted Petri Net Transducers},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {233--252},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_13},
doi = {10.1007/978-3-319-07734-5\_13},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/0001HW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AmparoreBD14,
author = {Elvio Gilberto Amparore and
Marco Beccuti and
Susanna Donatelli},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {(Stochastic) Model Checking in GreatSPN},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {354--363},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_19},
doi = {10.1007/978-3-319-07734-5\_19},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AmparoreBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/AvellanedaM14,
author = {Florent Avellaneda and
R{\'{e}}mi Morin},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Exhibition of a Structural Bug with Wings},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {253--272},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_14},
doi = {10.1007/978-3-319-07734-5\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/AvellanedaM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BaierDKL14,
author = {Christel Baier and
Clemens Dubslaff and
Sascha Kl{\"{u}}ppelholz and
Linda Leuschner},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Energy-Utility Analysis for Resilient Systems Using Probabilistic
Model Checking},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {20--39},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_2},
doi = {10.1007/978-3-319-07734-5\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BaierDKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BaldanC14,
author = {Paolo Baldan and
Alberto Carraro},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Non-interference by Unfolding},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {190--209},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_11},
doi = {10.1007/978-3-319-07734-5\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BaldanC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BeccutiBHSAB14,
author = {Marco Beccuti and
Enrico Bibbona and
Andr{\'{a}}s Horv{\'{a}}th and
Roberta Sirovich and
Alessio Angius and
Gianfranco Balbo},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Analysis of Petri Net Models through Stochastic Differential Equations},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {273--293},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_15},
doi = {10.1007/978-3-319-07734-5\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BeccutiBHSAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BestD14,
author = {Eike Best and
Raymond R. Devillers},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Synthesis of Persistent Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {111--129},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_7},
doi = {10.1007/978-3-319-07734-5\_7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BestD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BobedaCB14,
author = {Edmundo L{\'{o}}pez B{\'{o}}beda and
Maximilien Colange and
Didier Buchs},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {StrataGEM: {A} Generic Petri Net Verification Framework},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {364--373},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_20},
doi = {10.1007/978-3-319-07734-5\_20},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BobedaCB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BohmBMS14,
author = {Stanislav B{\"{o}}hm and
Marek Behalek and
Ondrej Meca and
Martin Surkovsk{\'{y}}},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Kaira: Development Environment for {MPI} Applications},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {385--394},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_22},
doi = {10.1007/978-3-319-07734-5\_22},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BohmBMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CasuP14,
author = {Giovanni Casu and
G. Michele Pinna},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Flow Unfolding of Multi-clock Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {170--189},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_10},
doi = {10.1007/978-3-319-07734-5\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CasuP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DeckerHLT14,
author = {Normann Decker and
Peter Habermehl and
Martin Leucker and
Daniel Thoma},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Learning Transparent Data Automata},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {130--149},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_8},
doi = {10.1007/978-3-319-07734-5\_8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DeckerHLT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HerajyH14,
author = {Mostafa Herajy and
Monika Heiner},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {A Steering Server for Collaborative Simulation of Quantitative Petri
Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {374--384},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_21},
doi = {10.1007/978-3-319-07734-5\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HerajyH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HujsaDK14,
author = {Thomas Hujsa and
Jean{-}Marc Delosme and
Alix Munier Kordon},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {On the Reversibility of Well-Behaved Weighted Choice-Free Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {334--353},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_18},
doi = {10.1007/978-3-319-07734-5\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HujsaDK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KalenkovaLA14,
author = {Anna A. Kalenkova and
Irina A. Lomazova and
Wil M. P. van der Aalst},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Process Model Discovery: {A} Method Based on Transition System Decomposition},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {71--90},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_5},
doi = {10.1007/978-3-319-07734-5\_5},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KalenkovaLA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LatapyV14,
author = {Matthieu Latapy and
Tiphaine Viard},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Complex Networks and Link Streams for the Empirical Analysis of Large
Software},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {40--50},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_3},
doi = {10.1007/978-3-319-07734-5\_3},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LatapyV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Lautenbach14,
author = {Kurt Lautenbach},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Propagation Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {1--19},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_1},
doi = {10.1007/978-3-319-07734-5\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Lautenbach14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LeemansFA14,
author = {Sander J. J. Leemans and
Dirk Fahland and
Wil M. P. van der Aalst},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Discovering Block-Structured Process Models from Incomplete Event
Logs},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {91--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_6},
doi = {10.1007/978-3-319-07734-5\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LeemansFA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Martos-SalgadoR14,
author = {Mar{\'{\i}}a Martos{-}Salgado and
Fernando Rosa{-}Velardo},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Dynamic Networks of Timed Petri Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {294--313},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_16},
doi = {10.1007/978-3-319-07734-5\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Martos-SalgadoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MateoSS14,
author = {Jos{\'{e}} Antonio Mateo and
Jir{\'{\i}} Srba and
Mathias Grund S{\o}rensen},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Soundness of Timed-Arc Workflow Nets},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {51--70},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_4},
doi = {10.1007/978-3-319-07734-5\_4},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/MateoSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MayrW14,
author = {Ernst W. Mayr and
Jeremias Weihmann},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {A Framework for Classical Petri Net Problems: Conservative Petri Nets
as an Application},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {314--333},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_17},
doi = {10.1007/978-3-319-07734-5\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MayrW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PolyvyanyyWCRH14,
author = {Artem Polyvyanyy and
Matthias Weidlich and
Raffaele Conforti and
Marcello La Rosa and
Arthur H. M. ter Hofstede},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {The 4C Spectrum of Fundamental Behavioral Relations for Concurrent
Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {210--232},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_12},
doi = {10.1007/978-3-319-07734-5\_12},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PolyvyanyyWCRH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SobocinskiS14,
author = {Pawel Sobocinski and
Owen Stephens},
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {A Programming Language for Spatial Distribution of Net Systems},
booktitle = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
pages = {150--169},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5\_9},
doi = {10.1007/978-3-319-07734-5\_9},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SobocinskiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2014,
editor = {Gianfranco Ciardo and
Ekkart Kindler},
title = {Application and Theory of Petri Nets and Concurrency - 35th International
Conference, {PETRI} {NETS} 2014, Tunis, Tunisia, June 23-27, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8489},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07734-5},
doi = {10.1007/978-3-319-07734-5},
isbn = {978-3-319-07733-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-05-26 02:19 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:
