@incollection{Hoare/12,
AUTHOR = {Hoare, Tony},
TITLE = {Net models for concurrent object behaviour},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {1-2},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Finkel-Goubault-Larrecq/12,
AUTHOR = {Finkel, Alain and Goubault-Larrecq, Jean},
TITLE = {The theory of WSTS: The case of complete WSTS},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {3-31},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mailund-Halager-Westergaard/12,
AUTHOR = {Mailund, Thomas and Halager, Anders E. and Westergaard, Michael},
TITLE = {Using colored Petri nets to construct coalescent hidden Markov models: Automatic translation from demographic specifications to efficient inference methods},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {32-50},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sole-Carmona/12,
AUTHOR = {Sol{\'e}, Marc and Carmona, Josep},
TITLE = {An SMT-based discovery algorithm for C-nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {51-71},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_der_Aalst/12,
AUTHOR = {van der Aalst, Wil M.P.},
TITLE = {Decomposing process mining problems using passages},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {72-91},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Liu-Sun-Liu-Dong/12,
AUTHOR = {Liu, Guan Jun and Sun, Jun and Liu, Yang and Dong, Jin Song},
TITLE = {Complexity of the soundness problem of bounded workflow nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {92-107},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Martos-Salgado-Rosa-Velardo/12,
AUTHOR = {Martos-Salgado, Mar{\'{i}}a and Rosa-Velardo, Fernando},
TITLE = {Cost soundness for priced resource-constrained workflow nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {108-127},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Badouel/12,
AUTHOR = {Badouel, Eric},
TITLE = {On the $\alpha$-reconstructibility of workflow nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {128-147},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Weidlich-van_der_Werf/12,
AUTHOR = {Weidlich, Matthias and van der Werf, Jan Martijn},
TITLE = {On profiles and footprints --- Relational semantics for Petri nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {148-167},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fahland-Prufer/12,
AUTHOR = {Fahland, Dirk and Pr{\"u}fer, Robert},
TITLE = {Data and abstraction for scenario-based modeling with Petri nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {168-187},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wang/12,
AUTHOR = {Wang, Xu},
TITLE = {Maximal confluent processes},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {188-207},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Valmari-Hansen/12,
AUTHOR = {Valmari, Antti and Hansen, Henri},
TITLE = {Old and new algorithms for minimal coverability sets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {208-227},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lehmann-Lohmann-Wolf/12,
AUTHOR = {Lehmann, Andreas and Lohmann, Niels and Wolf, Karsten},
TITLE = {Stubborn sets for simple linear time properties},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {228-247},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Evangelista-Kristensen/12,
AUTHOR = {Evangelista, Sami and Kristensen, Lars Michael},
TITLE = {Hybrid on-the-fly LTL model checking with the sweep-line method},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {248-267},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rakow/12,
AUTHOR = {Rakow, Astrid},
TITLE = {Safety slicing Petri nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {268-287},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gil-Costa-Lobos-Inostrosa-Psijas-Marin/12,
AUTHOR = {Gil-Costa, Veronica and Lobos, Jair and Inostrosa-Psijas, Alonso and Marin, Mauricio},
TITLE = {Capacity planning for vertical search engines: An approach based on coloured Petri nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {288-307},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nakatumba-Westergaard-van_der_Aalst/12,
AUTHOR = {Nakatumba, Joyce and Westergaard, Michael and van der Aalst, Wil M.P.},
TITLE = {An infrastructure for cost-effective testing of operational support algorithms based on colored Petri nets},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {308-327},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bera-van_Hee-van_der_Werf/12,
AUTHOR = {Bera, Debjyoti and van Hee, Kees M. and van der Werf, Jan Martijn},
TITLE = {Designing weakly terminating ROS systems},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {328-347},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cristini-Tessier/12,
AUTHOR = {Cristini, Fr{\'e}d{\'e}ric and Tessier, Catherine},
TITLE = {Nets-within-nets to model innovative space system architectures},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {348-367},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heitmann-Kohler-Bussmeier/12,
AUTHOR = {Heitmann, Frank and K{\"o}hler-Bu{\ss}meier, Michael},
TITLE = {P- and T-Systems in the nets-within-nets-formalism},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {368-387},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Spinner-Kounev-Meier/12,
AUTHOR = {Spinner, Simon and Kounev, Samuel and Meier, Philipp},
TITLE = {Stochastic modeling and analysis using QPME: Queueing Petri net modeling environment v2.0},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {388-397},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heiner-Herajy-Liu-Rohr-Schwarick/12,
AUTHOR = {Heiner, Monika and Herajy, Mostafa and Liu, Fei and Rohr, Christian and Schwarick, Martin},
TITLE = {Snoopy --- A unifying Petri net tool},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {398-407},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Korecko-Marcincin-Slodicak/12,
AUTHOR = {Kore{\v{c}}ko, {\v{S}}tefan and Marcin{\v{c}}in, J{\'a}n and Slodi{\v{c}}{\'a}k, Viliam},
TITLE = {CPN assistant II: A tool for management of networked simulations},
BOOKTITLE = {Proceedings of the 33rd International Conference on Application and Theory of Petri Nets, PETRI NETS'2012 (Hamburg, Germany, June 25-29, 2012)},
SERIES = {LNCS},
VOLUME = {7347},
PAGES = {408-417},
YEAR = {2012},
EDITOR = {Haddad, Serge and Pomello, Lucia},
URL = {http://dx.doi.org/10.1007/978-3-642-31131-4_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}