@incollection{Lautenbach/14,
AUTHOR = {Lautenbach, Kurt},
TITLE = {Propagation nets},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {1-19},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_1},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Baier-Dubslaff-Kluppelholz-Leuschner/14,
AUTHOR = {Baier, Christel and Dubslaff, Clemens and Kl{\"u}ppelholz, Sascha and Leuschner, Linda},
TITLE = {Energy-utility analysis for resilient systems using probabilistic model checking},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {20-39},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_2},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Latapy-Viard/14,
AUTHOR = {Latapy, Matthieu and Viard, Jordan},
TITLE = {Complex networks and link streams for the empirical analysis of large software},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {40-50},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_3},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Mateo-Srba-Sorensen/14,
AUTHOR = {Mateo, Jos{\'e} Antonio and Srba, Ji{\v{r}}{\'{i}} and S{\o}rensen, Mathias Grund},
TITLE = {Soundness of timed-arc workflow nets},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {51-70},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_4},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Kalenkova-Lomazova-van_der_Aalst/14,
AUTHOR = {Kalenkova, Anna A. and Lomazova, Irina A. and van der Aalst, Wil M.P.},
TITLE = {Process model discovery: A method based on transition system decomposition},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {71-90},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_5},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Leemans-Fahland-van_der_Aalst/14,
AUTHOR = {Leemans, Sander J.J. and Fahland, Dirk and van der Aalst, Wil M.P.},
TITLE = {Discovering block-structured process models from incomplete event logs},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {91-110},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_6},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Best-Devillers/14,
AUTHOR = {Best, Eike and Devillers, Raymond},
TITLE = {Synthesis of persistent systems},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {111-129},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_7},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Decker-Habermehl-Leucker-Thoma/14,
AUTHOR = {Decker, Normann and Habermehl, Peter and Leucker, Martin and Thoma, Daniel},
TITLE = {Learning transparent data automata},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {130-149},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_8},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Sobocinski-Stephens/14,
AUTHOR = {Soboci{\'n}ski, Pawe{\l} and Stephens, Owen},
TITLE = {A programming language for spatial distribution of net systems},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {150-169},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_9},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Casu-Pinna/14,
AUTHOR = {Casu, Giovanni and Pinna, G. Michele},
TITLE = {Flow unfolding of multi-clock nets},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {170-189},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_10},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Baldan-Carraro/14,
AUTHOR = {Baldan, Paolo and Carraro, Alberto},
TITLE = {Non-interference by unfolding},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {190-209},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_11},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Polyvyanyy-Weidlich-Conforti-La_Rosa-ter_Hofstede/14,
AUTHOR = {Polyvyanyy, Artem and Weidlich, Matthias and Conforti, Raffaele and La Rosa, Marcello and ter Hofstede, Arthur H.M.},
TITLE = {The 4C spectrum of fundamental behavioral relations for concurrent systems},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {210-232},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_12},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Lorenz-Huber-Wirsching/14,
AUTHOR = {Lorenz, Robert and Huber, Markus and Wirsching, G{\"u}nther},
TITLE = {On weighted Petri net transducers},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {233-252},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_13},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Avellaneda-Morin/14,
AUTHOR = {Avellaneda, Florent and Morin, R{\'e}mi},
TITLE = {Exhibition of a structural bug with wings},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {253-272},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_14},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Beccuti-Bibbona-Horvath-Sirovich-Angius-Balbo/14,
AUTHOR = {Beccuti, Marco and Bibbona, Enrico and Horvath, Andras and Sirovich, Roberta and Angius, Alessio and Balbo, Gianfranco},
TITLE = {Analysis of Petri net models through stochastic differential equations},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {273-293},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_15},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Martos-Salgado-Rosa-Velardo/14,
AUTHOR = {Martos-Salgado, Mar{\'{i}}a and Rosa-Velardo, Fernando},
TITLE = {Dynamic networks of timed Petri nets},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {294-313},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_16},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Mayr-Weihmann/14,
AUTHOR = {Mayr, Ernst W. and Weihmann, Jeremias},
TITLE = {A framework for classical Petri net problems: Conservative Petri nets as an application},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {314-333},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_17},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Hujsa-Delosme-Munier-Kordon/14,
AUTHOR = {Hujsa, Thomas and Delosme, Jean-Marc and Munier-Kordon, Alix},
TITLE = {On the reversibility of well-behaved weighted choice-free systems},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {334-353},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_18},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Amparore-Beccuti-Donatelli/14,
AUTHOR = {Amparore, Elvio Gilberto and Beccuti, Marco and Donatelli, Susanna},
TITLE = {(Stochastic) model checking in GreatSPN},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {354-363},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_19},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Lopez_Bobeda-Colange-Buchs/14,
AUTHOR = {L{\'o}pez B{\'o}beda, Edmundo and Colange, Maximilien and Buchs, Didier},
TITLE = {StrataGEM: A generic Petri net verification framework},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {364-373},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_20},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Herajy-Heiner/14,
AUTHOR = {Herajy, Mostafa and Heiner, Monika},
TITLE = {A steering server for collaborative simulation of quantitative Petri nets},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {374-384},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_21},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}
@incollection{Bohm-Behalek-Meca-Surkovsky/14,
AUTHOR = {B{\"o}hm, Stanislav and B{\v{e}}h{\'a}lek, Marek and Meca, Ond{\v{r}}ej and {\v{S}}urkovsk{\'y}, Martin},
TITLE = {Kaira: Development environment for MPI applications},
BOOKTITLE = {Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2014 (Tunis, Tunisia, June 23-27, 2014)},
SERIES = {LNCS},
VOLUME = {8489},
PAGES = {385-394},
YEAR = {2014},
EDITOR = {Ciardo, Gianfranco and Kindler, Ekkart},
URL = {http://dx.doi.org/10.1007/978-3-319-07734-5_22},
PUBLISHER = {Springer International Publishing},
ADDRESS = {Switzerland},
}