@incollection{Sifakis/09,
AUTHOR = {Sifakis, Joseph},
TITLE = {Component-based construction of heterogeneous real-time systems in BIP},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {1-1},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Juhas-Lorenz-Desel/09,
AUTHOR = {Juh{\'a}s, Gabriel and Lorenz, Robert and Desel, J{\"o}rg},
TITLE = {Unifying Petri net semantics with token flows},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {2-21},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rozenberg/09,
AUTHOR = {Rozenberg, Grzegorz},
TITLE = {Reaction systems: A formal framework for processes},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {22-22},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Reisig/09,
AUTHOR = {Reisig, Wolfgang},
TITLE = {Simple composition of nets},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {23-42},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kindler-Petrucci/09,
AUTHOR = {Kindler, Ekkart and Petrucci, Laure},
TITLE = {Towards a standard for modular Petri nets: A formalisation},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {43-62},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rosa-Velardo-de_Frutos-Escrig/09,
AUTHOR = {Rosa-Velardo, Fernando and de Frutos-Escrig, David},
TITLE = {Decidability results for restricted models of Petri nets with name creation and replication},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {63-82},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fanchon-Morin/09,
AUTHOR = {Fanchon, Jean and Morin, R{\'e}mi},
TITLE = {Pomset languages of finite step transition systems},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {83-102},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mairesse-Nguyen/09,
AUTHOR = {Mairesse, Jean and Nguyen, Hoang-Thach},
TITLE = {Deficiency zero Petri nets and product form},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {103-122},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Valmari/09,
AUTHOR = {Valmari, Antti},
TITLE = {Bisimilarity minimization in $O(m \log n)$ time},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {123-142},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ciardo-Mecham-Paviot-Adet-Wan/09,
AUTHOR = {Ciardo, Gianfranco and Mecham, Galen and Paviot-Adet, Emmanuel and Wan, Min},
TITLE = {$p$-semiflow computation with decision diagrams},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {143-162},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bernardinello-Pomello-Rombola/09,
AUTHOR = {Bernardinello, Luca and Pomello, Lucia and Rombol{\`a}, Stefania},
TITLE = {Orthomodular lattices in occurrence nets},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {163-182},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{de_Oliveira_Oliveira/09,
AUTHOR = {de Oliveira Oliveira, Mateus},
TITLE = {Hasse diagram generators and Petri nets},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {183-203},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Demongodin/09,
AUTHOR = {Demongodin, Isabel},
TITLE = {Modeling and analysis of transportation networks using Batches Petri nets with controllable batch speed},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {204-222},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fahland/09,
AUTHOR = {Fahland, Dirk},
TITLE = {Oclets --- Scenario-based modeling with Petri nets},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {223-242},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kohler-Bussmeier/09,
AUTHOR = {K{\"o}hler-Bu{\ss}meier, Michael},
TITLE = {Hornets: Nets within nets combined with net algebra},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {243-262},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouillard-Rosario-Benveniste-Haar/09,
AUTHOR = {Bouillard, Anne and Rosario, Sidney and Benveniste, Albert and Haar, Stefan},
TITLE = {Monotonicity in service orchestrations},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {263-282},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_der_Aalst-van_Hee-Massuthe-Sidorova-van_der_Werf/09,
AUTHOR = {van der Aalst, Wil M.P. and van Hee, Kees M. and Massuthe, Peter and Sidorova, Natalia and van der Werf, Jan Martijn},
TITLE = {Compositional service trees},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {283-302},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Westergaard-Evangelista-Kristensen/09,
AUTHOR = {Westergaard, Michael and Evangelista, Sami and Kristensen, Lars Michael},
TITLE = {ASAP: An extensible platform for state space analysis},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {303-312},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Westergaard-Kristensen/09,
AUTHOR = {Westergaard, Michael and Kristensen, Lars Michael},
TITLE = {The Access/CPN framework: A tool for interacting with the CPN Tools simulator},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {313-322},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heiner-Schwarick-Tovchigrechko/09,
AUTHOR = {Heiner, Monika and Schwarick, Martin and Tovchigrechko, Alexej},
TITLE = {DSSZ-MC ---  A tool for symbolic analysis of extended Petri nets},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {323-332},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Poliakov-Khomenko-Yakovlev/09,
AUTHOR = {Poliakov, Ivan and Khomenko, Victor and Yakovlev, Alex},
TITLE = {{\sc Workcraft} --- A framework for Interpreted Graph Models},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {333-342},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Khalili-Jalaly_Bidgoly-Abdollahi_Azgomi/09,
AUTHOR = {Khalili, Ali and Jalaly Bidgoly, Amir and Abdollahi Azgomi, Mohammad},
TITLE = {PDETool: A multi-formalism modeling tool for discrete-event systems based on SDES description},
BOOKTITLE = {Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2009 (Paris, France, June 22-26, 2009)},
SERIES = {LNCS},
VOLUME = {5606},
PAGES = {343-352},
YEAR = {2009},
EDITOR = {Franceschinis, Giuliana and Wolf, Karsten},
URL = {http://dx.doi.org/10.1007/978-3-642-02424-5_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}