@incollection{van_Hee-Sidorova/13,
AUTHOR = {van Hee, Kees and Sidorova, Natalia},
TITLE = {The right timing: Reflections on the modeling and analysis of time},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {1-20},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lafortune-Wang-Reveliotis/13,
AUTHOR = {Lafortune, St{\'e}phane and Wang, Yin and Reveliotis, Spyros},
TITLE = {Eliminating concurrency bugs in multithreaded software: An approach based on control of Petri nets},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {21-28},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rodriguez-Schwoon-Khomenko/13,
AUTHOR = {Rodr{\'{i}}guez, C{\'e}sar and Schwoon, Stefan and Khomenko, Victor},
TITLE = {Contextual merged processes},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {29-48},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Geeraerts-Heussner-Praveen-Raskin/13,
AUTHOR = {Geeraerts, Gilles and Heu{\ss}ner, Alexander and Praveen, M. and Raskin, Jean-Fran{\c{c}}ois},
TITLE = {$\omega$-Petri nets},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {49-69},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mayr-Weihmann/13,
AUTHOR = {Mayr, Ernst W. and Weihmann, Jeremias},
TITLE = {Results on equivalence, boundedness, liveness, and covering problems of BPP-Petri nets},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {70-89},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Eisentraut-Hermanns-Katoen-Zhang/13,
AUTHOR = {Eisentraut, Christian and Hermanns, Holger and Katoen, Joost-Pieter and Zhang, Lijun},
TITLE = {A semantics for every GSPN},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {90-109},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amparore-Ballarini-Beccuti-Donatelli-Franceschinis/13,
AUTHOR = {Amparore, Elvio Gilberto and Ballarini, Paolo and Beccuti, Marco and Donatelli, Susanna and Franceschinis, Giuliana},
TITLE = {Expressing and computing passage time measures of GSPN models with HASL},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {110-129},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boucheneb-Lime-Roux/13,
AUTHOR = {Boucheneb, Hanifa and Lime, Didier and Roux, Olivier H.},
TITLE = {On multi-enabledness in time Petri nets},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {130-149},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kohler-Bussmeier-Heitmann/13,
AUTHOR = {K{\"o}hler-Bu{\ss}meier, Michael and Heitmann, Frank},
TITLE = {Complexity results for elementary Hornets},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {150-169},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fraca-Haddad/13,
AUTHOR = {Fraca, Est{\'{i}}baliz and Haddad, Serge},
TITLE = {Complexity analysis of continuous Petri nets},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {170-189},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fernandes-Koutny-Pietkiewicz-Koutny-Sokolov-Yakolev/13,
AUTHOR = {Fernandes, Johnson and Koutny, Maciej and Pietkiewicz-Koutny, Marta and Sokolov, Danil and Yakolev, Alex},
TITLE = {Step persistence in the design of GALS systems},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {190-209},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Koutny-Mikulski-Pietkiewicz-Koutny/13,
AUTHOR = {Koutny, Maciej and Mikulski, {\L}ukasz and Pietkiewicz-Koutny, Marta},
TITLE = {A taxonomy of persistent and nonviolent steps},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {210-229},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gilbert-Heiner-Liu-Saunders/13,
AUTHOR = {Gilbert, David and Heiner, Monika and Liu, Fei and Saunders, Nigel},
TITLE = {Colouring space --- A coloured framework for spatial modelling in systems biology},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {230-249},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clemente-Fanti-Mangini-Ukovich/13,
AUTHOR = {Clemente, Monica and Fanti, Maria Pia and Mangini, Agostino M. and Ukovich, Walter},
TITLE = {The vehicle relocation problem in car sharing systems: Modeling and simulation in a Petri net framework},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {250-269},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Weidlich-Mendling-Gal/13,
AUTHOR = {Weidlich, Matthias and Mendling, Jan and Gal, Avigdor},
TITLE = {Net-based analysis of event processing networks --- The fast flower delivery case},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {270-290},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Munoz-Gama-Carmona-van_der_Aalst/13,
AUTHOR = {Munoz-Gama, Jorge and Carmona, Josep and van der Aalst, Wil M.P.},
TITLE = {Hierarchical conformance checking of process models based on event logs},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {291-310},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Leemans-Fahland-van_der_Aalst/13,
AUTHOR = {Leemans, Sander J.J. and Fahland, Dirk and van der Aalst, Wil M.P.},
TITLE = {Discovering block-structured process models from event logs --- A constructive approach},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {311-329},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bergenthum/13,
AUTHOR = {Bergenthum, Robin},
TITLE = {Faster verification of partially ordered runs in Petri nets using compact tokenflows},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {330-348},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Marechal-Buchs/13,
AUTHOR = {Marechal, Alexis and Buchs, Didier},
TITLE = {Unifying the semantics of modular extensions of Petri nets},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {349-368},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Haddad-Hennicker-Moller/13,
AUTHOR = {Haddad, Serge and Hennicker, Rolf and M{\o}ller, Mikael H.},
TITLE = {Channel properties of asynchronously composed Petri nets},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {369-388},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heiner-Rohr-Schwarick/13,
AUTHOR = {Heiner, Monika and Rohr, Christian and Schwarick, Martin},
TITLE = {MARCIE --- Model checking and reachability analysis done efficiently},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {389-399},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Westergaard/13,
AUTHOR = {Westergaard, Michael},
TITLE = {CPN Tools 4: Multi-formalism and extensibility},
BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)},
SERIES = {LNCS},
VOLUME = {7927},
PAGES = {400-409},
YEAR = {2013},
EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg},
URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}