@incollection{Alonso/08,
AUTHOR = {Alonso, Gustavo},
TITLE = {Challenges and opportunities for formal specifications in service oriented architectures},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {1-6},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ehrenfeucht-Rozenberg/08,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Modeling interactions between biochemical reactions},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {7-7},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jifeng/08,
AUTHOR = {Jifeng, He},
TITLE = {Transaction calculus},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {8-8},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lin/08b,
AUTHOR = {Lin, Huimin},
TITLE = {Stratifying winning positions in parity games},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {9-11},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Petri/08,
AUTHOR = {Petri, Carl Adam},
TITLE = {On the physical basics of information flow --- Results obtained in cooperation with Konrad Zuse},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {12-12},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bergenthum-Lorenz-Mauser/08,
AUTHOR = {Bergenthum, Robin and Lorenz, Robert and Mauser, Sebastian},
TITLE = {Faster unfolding of general Petri nets based on token flows},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {13-32},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Best-Darondeau/08,
AUTHOR = {Best, Eike and Darondeau, Philippe},
TITLE = {Decomposition theorems for bounded persistent Petri nets},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {33-51},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bonchi-Brogi-Corfini-Gadducci/08,
AUTHOR = {Bonchi, Filippo and Brogi, Antonio and Corfini, Sara and Gadducci, Fabio},
TITLE = {Compositional specification of Web services via behavioural equivalence of nets: A case study},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {52-71},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouroulet-Devillers-Klaudel-Pelz-Pommereau/08,
AUTHOR = {Bouroulet, Roland and Devillers, Raymond and Klaudel, Hanna and Pelz, Elisabeth and Pommereau, Franck},
TITLE = {Modeling and analysis of security protocols using role based specifications and Petri nets},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {72-91},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carmona-Cortadella-Kishinevsky-Kondratyev-Lavagno-Yakovlev/08,
AUTHOR = {Carmona, J. and Cortadella, J. and Kishinevsky, M. and Kondratyev, A. and Lavagno, L. and Yakovlev, A.},
TITLE = {A symbolic algorithm for the synthesis of bounded Petri nets},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {92-111},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Darondeau-Koutny-Pietkiewicz-Koutny-Yakovlev/08,
AUTHOR = {Darondeau, Philippe and Koutny, Maciej and Pietkiewicz-Koutny, Marta and Yakovlev, Alex},
TITLE = {Synthesis of nets with step firing policies},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {112-131},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ding-Liu/08,
AUTHOR = {Ding, Lay G. and Liu, Lin},
TITLE = {Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured Petri nets},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {132-151},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Espensen-Kjeldsen-Kristensen/08,
AUTHOR = {Espensen, Kristian L. and Kjeldsen, Mads K. and Kristensen, Lars M.},
TITLE = {Modelling and initial validation of the DYMO routing protocol for mobile ad-hoc networks},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {152-170},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fleischer-Kristensen/08,
AUTHOR = {Fleischer, Paul and Kristensen, Lars M.},
TITLE = {Formal specification and validation of secure connection establishment in a Generic Access Network scenario},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {171-190},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gallasch-Billington/08,
AUTHOR = {Gallasch, Guy Edward and Billington, Jonathan},
TITLE = {Parametric language analysis of the class of stop-and-wait protocols},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {191-210},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hamez-Thierry-Mieg-Kordon/08,
AUTHOR = {Hamez, Alexandre and Thierry-Mieg, Yann and Kordon, Fabrice},
TITLE = {Hierarchical set decision diagrams and automatic saturation},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {211-230},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hiraishi/08,
AUTHOR = {Hiraishi, Kunihiko},
TITLE = {Performance evaluation of workflows using continuous Petri nets twith interval firing speeds},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {231-250},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Janicki-Le/08,
AUTHOR = {Janicki, Ryszard and L{\^e}, Dai Tri Man},
TITLE = {Modelling concurrency with quotient monoids},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {251-269},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jantzen-Zetzsche/08,
AUTHOR = {Jantzen, Matthias and Zetzsche, Georg},
TITLE = {Labeled step sequences in Petri nets},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {270-287},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Klai-Poitrenaud/08,
AUTHOR = {Klai, Kais and Poitrenaud, Denis},
TITLE = {MC-SOG: An LTL model checker based on symbolic observation graphs},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {288-306},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Magnin-Lime-Roux/08,
AUTHOR = {Magnin, Morgan and Lime, Didier and Roux, Olivier (H.)},
TITLE = {Symbolic state space of stopwatch Petri nets with discrete-time semantics (theory paper)},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {307-326},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Meyer-Khomenko-Strazny/08,
AUTHOR = {Meyer, Roland and Khomenko, Victor and Strazny, Tim},
TITLE = {A practical approach to verification of mobile systems using net unfoldings},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {327-347},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Oberheid-Soffker/08,
AUTHOR = {Oberheid, Hendrik and S{\"o}ffker, Dirk},
TITLE = {Cooperative arrival management in air traffic control --- A Coloured Petri Net model of sequence planning},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {348-367},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_der_Werf-van_Dongen-Hurkens-Serebrenik/08,
AUTHOR = {van der Werf, J.M.E.M. and van Dongen, B.F. and Hurkens, C.A.J. and Serebrenik, A.},
TITLE = {Process discovery using integer linear programming},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {368-387},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bergenthum-Desel-Lorenz-Mauser/08,
AUTHOR = {Bergenthum, Robin and Desel, J{\"o}rg and Lorenz, Robert and Mauser, Sebastian},
TITLE = {Synthesis of Petri nets from scenarios with VipTool},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {388-398},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cabac-Dorges-Rolke/08,
AUTHOR = {Cabac, Lawrence and D{\"o}rges, Till and R{\"o}lke, Heiko},
TITLE = {A monitoring toolset for PAOSE},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {399-408},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lourenco-Gomes/08,
AUTHOR = {Lourenco, Jo{\~a}o and Gomes, Lu{\'{i}}s},
TITLE = {Animated graphical user interface generator framework for Input-Output Place-Transition Petri net models},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {409-418},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sessego-Giua-Seatzu/08,
AUTHOR = {Sessego, Fausto and Giua, Alessandro and Seatzu, Carla},
TITLE = {HYPENS: A Matlab tool for timed discrete, continuous and Hybrid Petri nets},
BOOKTITLE = {Proceedings of the 29th International Conference on Applications and Theory of Petri Nets, PETRI NETS'2008 (Xi'an, China, June 23-27, 2008)},
SERIES = {LNCS},
VOLUME = {5062},
PAGES = {419-428},
YEAR = {2008},
EDITOR = {van Hee, Kees M. and Valk, R{\"u}diger},
URL = {http://dx.doi.org/10.1007/978-3-540-68746-7_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}