@incollection{Franceschinis/05,
AUTHOR = {Franceschinis, Giuliana},
TITLE = {Expressiveness and efficient analysis of Stochastic Well-formed Nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {1-14},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{McMillan/05,
AUTHOR = {McMillan, Kenneth},
TITLE = {Applications of Craig interpolation to model checking},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {15-16},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pincus-Wing/05,
AUTHOR = {Pincus, Jon and Wing, Jeannette M.},
TITLE = {Towards an algebra for security policies},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {17-25},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Silva-Recalde/05,
AUTHOR = {Silva, Manuel and Recalde, Laura},
TITLE = {Continuization of timed Petri nets: From performance evaluation to observation and control},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {26-47},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_der_Aalst-Alves_de_Medeiros-Weijters/05,
AUTHOR = {van der Aalst, W.M.P. and Alves de Medeiros, A.K. and Weijters, A.J.M.M.},
TITLE = {Genetic process mining},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {48-69},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abbes/05,
AUTHOR = {Abbes, Samy},
TITLE = {The (true) concurrent Markov property and some applications to Markov nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {70-89},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Barkaoui-Couvreur-Klai/05,
AUTHOR = {Barkaoui, Kamel and Couvreur, Jean-Michel and Klai, Kais},
TITLE = {On the equivalence between liveness and deadlock-freeness in Petri nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {90-107},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouillard-Gaujal-Mairesse/05,
AUTHOR = {Bouillard, Anne and Gaujal, Bruno and Mairesse, Jean},
TITLE = {Extremal throughputs in free-choice nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {108-127},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brenner-Fernandes-Sales-Webber/05,
AUTHOR = {Brenner, Leonardo and Fernandes, Paulo and Sales, Afonso and Webber, Thais},
TITLE = {A framework to decompose GSPN models},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {128-147},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cabac-Duvigneau-Moldt-Rolke/05,
AUTHOR = {Cabac, Lawrence and Duvigneau, Michael and Moldt, Daniel and R{\"o}lke, Heiko},
TITLE = {Modeling dynamic architectures using nets-within-nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {148-167},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Capra-De_Pierro-Franceschinis/05,
AUTHOR = {Capra, Lorenzo and De Pierro, Massimiliano and Franceschinis, Giuliana},
TITLE = {A high level language for structural relations in well-formed nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {168-187},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clariso-Rodriguez-Carbonell-Cortadella/05,
AUTHOR = {Claris{\'o}, Robert and Rodr{\'{i}}guez-Carbonell, Enric and Cortadella, Jordi},
TITLE = {Derivation of non-structural invariants of Petri nets using abstract interpretation},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {188-207},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Comet-Klaudel-Liauzu/05,
AUTHOR = {Comet, Jean-Paul and Klaudel, Hanna and Liauzu, St{\'e}phane},
TITLE = {Modeling multi-valued genetic regulatory networks using high-level Petri nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {208-227},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Han-Billington/05,
AUTHOR = {Han, Bing and Billington, Jonathan},
TITLE = {Termination properties of TCP's connection management procedures},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {228-249},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_Hee-Serebrenik-Sidorova-Voorhoeve/05,
AUTHOR = {van Hee, Kees and Serebrenik, Alexander and Sidorova, Natalia and Voorhoeve, Marc},
TITLE = {Soundness of resource-constrained workflow nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {250-267},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hoffmann-Ehrig-Mossakowski/05,
AUTHOR = {Hoffmann, Kathrin and Ehrig, Hartmut and Mossakowski, and Till},
TITLE = {High-level nets with nets and rules as tokens},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {268-288},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Juhas-Lorenz-Desel/05,
AUTHOR = {Juh{\'a}s, Gabriel and Lorenz, Robert and Desel, J{\"o}rg},
TITLE = {Can I execute my scenario in your net?},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {289-308},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kohler-Rolke/05,
AUTHOR = {K{\"o}hler, Michael and R{\"o}lke, Heiko},
TITLE = {Reference and value semantics are equivalent for ordinary object Petri nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {309-328},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lesire-Tessier/05,
AUTHOR = {Lesire, Charles and Tessier, Catherine},
TITLE = {Particle Petri nets for aircraft procedure monitoring under uncertainty},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {329-348},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Reisig/05,
AUTHOR = {Reisig, W.},
TITLE = {On the expressive power of Petri net schemata},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {349-364},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schafer-Vogler-Jancar/05,
AUTHOR = {Sch{\"a}fer, Mark and Vogler, Walter and Jan{\v{c}}ar, Petr},
TITLE = {Determinate STG decomposition of marked graphs},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {365-384},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Srba/05,
AUTHOR = {Srba, Ji{\v{r}}{\'{i}}},
TITLE = {Timed-arc Petri nets vs. networks of timed automata},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {385-402},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wells-Maier/05,
AUTHOR = {Wells, Lisa and Maier, Thomas},
TITLE = {Specifying and analyzing software safety requirements of a frequency converter using Coloured Petri Nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {403-422},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wynn-Edmond-van_der_Aalst-ter_Hofstede/05,
AUTHOR = {Wynn, Moe Thandar and Edmond, David and van der Aalst, W.M.P. and ter Hofstede, A.H.M.},
TITLE = {Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {423-443},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_Dongen-de_Medeiros-Verbeek-Weijters-van_der_Aalst/05,
AUTHOR = {van Dongen, B.F. and de Medeiros, A.K.A. and Verbeek, H.M.W. and Weijters, A.J.M.M. and van der Aalst, W.M.P.},
TITLE = {The ProM framework: A new era in process mining tool support},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {444-454},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Evangelista/05,
AUTHOR = {Evangelista, Sami},
TITLE = {High level Petri nets analysis with Helena},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {455-464},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Verbeek-van_Hattem-Reijers-de_Munk/05,
AUTHOR = {Verbeek, Eric and van Hattem, Maarte and Reijers, Hajo and de Munk, Wendy},
TITLE = {Protos 7.0: Simulation made accessible},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {465-474},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}