@incollection{Donatelli/01,
AUTHOR = {Donatelli, Susanna},
TITLE = {Kronecker algebra and (stochastic) Petri nets: Is it worth the effort?},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {1-18},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Milner/01,
AUTHOR = {Milner, Robin},
TITLE = {The flux of interaction},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {19-22},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Nielsen-Sassone-Srba/01,
AUTHOR = {Nielsen, Mogens and Sassone, Vladimiro and Srba, Ji{\v{r}}{\'{i}}},
TITLE = {Towards a notion of distributed time for Petri nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {23-31},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{van_der_Aalst-Basten/01,
AUTHOR = {van der Aalst, Wil M.P. and Basten, Twan},
TITLE = {Identifying commonalities and differences in object life cycles using behavioral inheritance},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {32-52},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Aziz_Abdulla-Nylen/01,
AUTHOR = {Aziz Abdulla, Parosh and Nyl{\'e}n, Aletta},
TITLE = {Timed Petri nets and BQOs},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {53-70},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Beaudouin-Lafon-Mackay-Andersen-Janecek-Jensen-Lassen-Lund-Mortensen-Munck-Ratzer-Ravn-Christensen-Jensen/01,
AUTHOR = {Beaudouin-Lafon, Michel and Mackay, Wendy E. and Andersen, Peter and Janecek, Paul and Jensen, Mads and Lassen, Michael and Lund, Kasper and Mortensen, Kjeld and Munck, Stephanie and Ratzer, Anne and Ravn, Katrine and Christensen, S{\o}ren and Jensen, Kurt},
TITLE = {CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {71-80},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bulach-Brauchle-Pfleiderer-Kucerovsky/01,
AUTHOR = {Bulach, Slavek and Brauchle, Anton and Pfleiderer, Hans-J{\"o}rg and Kucerovsky, Zdenek},
TITLE = {Petri net based design and implementation methodology for discrete event control systems},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {81-100},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Christensen-Kristensen-Mailund/01,
AUTHOR = {Christensen, S{\o}ren and Kristensen, Lars Michael and Mailund, Thomas},
TITLE = {Condensed state spaces for timed Petri nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {101-120},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Couvreur-Grivet-Poitrenaud/01,
AUTHOR = {Couvreur, Jean-Michel and Grivet, S{\'e}bastien and Poitrenaud, Denis},
TITLE = {Unfolding of products of symmetrical Petri nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {121-143},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Deussen/01,
AUTHOR = {Deussen, Peter},
TITLE = {Partial order verification of programmable logic controllers},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {144-163},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Haddad-Moreaux-Sereno-Silva/01,
AUTHOR = {Haddad, Serge and Moreaux, Patrice and Sereno, Matteo and Silva, Manuel},
TITLE = {Structural characterization and qualitative properties of product form stochastic Petri nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {164-183},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Iordache-Antsaklis/01,
AUTHOR = {Iordache, Marian V. and Antsaklis, Panos J.},
TITLE = {Generalized conditions for liveness enforcement and deadlock prevention in Petri nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {184-203},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Klaudel-Pommereau/01,
AUTHOR = {Klaudel, Hanna and Pommereau, Franck},
TITLE = {A concurrent semantics of static exceptions in a parallel programming language},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {204-223},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kohler-Moldt-Rolke/01,
AUTHOR = {K{\"o}hler, Michael and Moldt, Daniel and R{\"o}lke, Heiko},
TITLE = {Modelling the structure and behaviour of Petri net agents},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {224-241},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Latvala/01,
AUTHOR = {Latvala, Timo},
TITLE = {Model checking LTL properties of high-level Petri nets with fairness constraints},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {242-262},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lewis-Lakos/01,
AUTHOR = {Lewis, Glenn and Lakos, Charles},
TITLE = {Incremental state space construction for coloured Petri nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {263-282},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Makela/01,
AUTHOR = {M{\"a}kel{\"a}, Marko},
TITLE = {Optimising enabling tests and unfoldings of algebraic system nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {283-302},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Marroquin_Alonso-de_Frutos_Escrig/01,
AUTHOR = {Marroqu{\'{i}}n Alonso, Olga and de Frutos Escrig, David},
TITLE = {Extending the Petri Box Calculus with time},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {303-322},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Penczek-Polrola/01,
AUTHOR = {Penczek, Wojciech and P{\'o}{\l}rola, Agata},
TITLE = {Abstractions and partial order reductions for checking branching properties of Time Petri Nets},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {323-342},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Rust-Tacken-Boke/01,
AUTHOR = {Rust, Carsten and Tacken, J{\"u}rgen and B{\"o}ke, Carsten},
TITLE = {Pr/T-Net based seamless design of embedded real-time systems},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {343-362},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Steggles/01,
AUTHOR = {Steggles, L. Jason},
TITLE = {Rewriting logic and elan: Prototyping tools for Petri nets with time},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {363-381},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Vogler/01,
AUTHOR = {Vogler, Walter},
TITLE = {Partial $S$-invariants for the verification of infinite systems families},
BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)},
SERIES = {LNCS},
VOLUME = {2075},
PAGES = {382-401},
YEAR = {2001},
EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej},
URL = {http://dx.doi.org/10.1007/3-540-45740-2_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}