@incollection{van_der_Aalst/02,
AUTHOR = {van der Aalst, Wil M.P.},
TITLE = {Making work flow: On the application of Petri nets to business process management},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {1-22},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Desel/02,
AUTHOR = {Desel, J{\"o}rg},
TITLE = {Model validation --- A theoretical issue?},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {23-43},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hayes/02,
AUTHOR = {Hayes, Ian J.},
TITLE = {The real-time refinement calculus: A foundation for machine-independent real-time programming},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {44-58},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lakos/02,
AUTHOR = {Lakos, Charles},
TITLE = {The challenge of object orientation for the analysis of concurrent systems},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {59-67},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Thiagarajan/02,
AUTHOR = {Thiagarajan, P.S.},
TITLE = {Abstract cyclic communicating processes: A logical view},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {68-69},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Yakovlev/02,
AUTHOR = {Yakovlev, Alex},
TITLE = {Is the die cast for the token game?},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {70-79},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cortadella-Kondratyev-Lavagno-Passerone-Watanabe/02,
AUTHOR = {Cortadella, Jordi and Kondratyev, Alex and Lavagno, Luciano and Passerone, Claudio and Watanabe, Yosinori},
TITLE = {Quasi-static scheduling of independent tasks for reactive systems},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {80-100},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Couvreur-Encrenaz-Paviot-Adet-Poitrenaud-Wacrenier/02,
AUTHOR = {Couvreur, Jean-Michel and Encrenaz, Emmanuelle and Paviot-Adet, Emmanuel and Poitrenaud, Denis and Wacrenier, Pierre-Andr{\'e}},
TITLE = {Data decision diagrams for Petri net analysis},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {101-120},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dehnert/02,
AUTHOR = {Dehnert, Juliane},
TITLE = {Non-controllable choice robustness expressing the controllability of workflow processes},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {121-141},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Di_Marzo_Serugendo-Mandrioli-Buchs-Guelfi/02,
AUTHOR = {Di Marzo Serugendo, Giovanna and Mandrioli, Dino and Buchs, Didier and Guelfi, Nicolas},
TITLE = {Real-time synchronised Petri nets},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {142-162},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fleischhack-Stehno/02,
AUTHOR = {Fleischhack, Hans and Stehno, Christian},
TITLE = {Computing a finite prefix of a time Petri net},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {163-181},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gordon-Kristensen-Billington/02,
AUTHOR = {Gordon, Steven and Kristensen, Lars and Billington, Jonathan},
TITLE = {Verification of a revised WAP wireless transaction protocol},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {182-202},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Jiao-Cheung-Lu/02,
AUTHOR = {Jiao, Li and Cheung, To-Yat and Lu, Weiming},
TITLE = {Characterizing liveness of Petri nets in terms of siphons},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {203-216},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kindler/02,
AUTHOR = {Kindler, Ekkart},
TITLE = {Petri nets, situations, and automata},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {217-236},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lautenbach/02,
AUTHOR = {Lautenbach, Kurt},
TITLE = {Reproducibility of the empty marking},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {237-253},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Le_Ny-Tuffin/02,
AUTHOR = {Le Ny, Louis-Marie and Tuffin, Bruno},
TITLE = {Modeling and analysis of multi-class threshold-based queues with hysteresis using stochastic Petri nets},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {254-272},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Liu-Billington/02,
AUTHOR = {Liu, Lin and Billington, Jonathan},
TITLE = {Tackling the infinite state space of a multimedia control protocol service specification},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {273-293},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lorentsen-Tuovinen-Xu/02,
AUTHOR = {Lorentsen, Louise and Tuovinen, Antti-Pekka and Xu, Jianli},
TITLE = {Modelling of features and feature interactions in Nokia mobile phones using Coloured Petri Nets},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {294-313},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mailund/02,
AUTHOR = {Mailund, Thomas},
TITLE = {Analysing infinite-state systems by combining equivalence reduction and the sweep-line method},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {314-334},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Nielsen-Thiagarajan/02,
AUTHOR = {Nielsen, Mogens and Thiagarajan, P.S.},
TITLE = {Regular event structures and finite Petri nets: The conflict-free case},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {335-351},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ouyang-Kristensen-Billington/02,
AUTHOR = {Ouyang, Chun and Kristensen, Lars Michael and Billington, Jonathan},
TITLE = {A formal service specification for the Internet Open Trading Protocol},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {352-373},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Peuker/02,
AUTHOR = {Peuker, Sibylle},
TITLE = {Transition refinement for deriving a distributed minimum weight spanning tree algorithm},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {374-393},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Stork-van_Glabbeek/02,
AUTHOR = {Stork, David and van Glabbeek, Rob},
TITLE = {Token-controlled place refinement in hierarchical Petri nets with application to active document workflow},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {394-413},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Valero-Pardo-Cuartero/02,
AUTHOR = {Valero, Valent{\'{i}}n and Pardo, Juan Jos{\'e} and Cuartero, Fernando},
TITLE = {Translating TPAL specifications into Timed-Arc Petri nets},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {414-433},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Makela/02,
AUTHOR = {M{\"a}kel{\"a}, Marko},
TITLE = {Maria: Modular reachability analyser for algebraic system nets},
BOOKTITLE = {Proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN'2002 (Adelaide, Australia, June 24-30, 2002)},
SERIES = {LNCS},
VOLUME = {2360},
PAGES = {434-444},
YEAR = {2002},
EDITOR = {Esparza, Javier and Lakos, Charles},
URL = {http://dx.doi.org/10.1007/3-540-48068-4_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}