@incollection{Cortadella-Kishinevsky-Kondratyev-Lavagno-Yakovlev/00,
AUTHOR = {Cortadella, Jordi and Kishinevsky, Michael and Kondratyev, Alex and Lavagno, Luciano and Yakovlev, Alex},
TITLE = {Hardware and Petri nets application to asynchronous circuit design},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {1-15},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Darondeau/00,
AUTHOR = {Darondeau, Philippe},
TITLE = {Region based synthesis of P/T-nets and its potential applications},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {16-23},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Engels-Heckel-Sauer/00,
AUTHOR = {Engels, Gregor and Heckel, Reiko and Sauer, Stefan},
TITLE = {UML --- A universal modeling language?},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {24-38},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Larsen/00a,
AUTHOR = {Larsen, Kim Guldstrand},
TITLE = {Verification of timed and hybrid systems},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {39-42},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ballarini-Donatelli-Franceschinis/00,
AUTHOR = {Ballarini, Paolo and Donatelli, Susanna and Franceschinis, Giuliana},
TITLE = {Parametric stochastic well-formed nets and compositional modelling},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {43-62},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Best-Wimmel/00,
AUTHOR = {Best, Eike and Wimmel, Harro},
TITLE = {Reducing $k$-safe Petri nets to pomset-equivalent 1-safe Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {63-82},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bruni-Montanari/00a,
AUTHOR = {Bruni, Roberto and Montanari, Ugo},
TITLE = {Executing transactions in zero-safe nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {83-102},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ciardo-Luttgen-Siminiceanu/00,
AUTHOR = {Ciardo, Gianfranco and L{\"u}ttgen, Gerald and Siminiceanu, Radu},
TITLE = {Efficient symbolic state-space construction for asynchronous systems},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {103-122},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Couvreur-Grivet-Poitrenaud/00,
AUTHOR = {Couvreur, Jean-Michel and Grivet, S{\'e}bastien and Poitrenaud, Denis},
TITLE = {Designing a LTL model-checker based on unfolding graphs},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {123-145},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Desel-Juhas-Lorenz/00,
AUTHOR = {Desel, J{\"o}rg and Juh{\'a}s, Gabriel and Lorenz, Robert},
TITLE = {Process semantics of Petri nets over partial algebra},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {146-165},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Elkoutbi-Keller/00,
AUTHOR = {Elkoutbi, Mohammed and Keller, Rudolf K.},
TITLE = {User interface prototyping based on UML scenarios and high-level Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {166-186},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{de_Frutos_Escrig-Ruiz-Alonso/00,
AUTHOR = {de Frutos Escrig, David and Ruiz, Valent{\'{i}}n Valero and Alonso, Olga Marroqu{\'{i}}n},
TITLE = {Decidability of properties of timed-arc Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {187-206},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gordon-Billington/00,
AUTHOR = {Gordon, Steven and Billington, Jonathan},
TITLE = {Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {207-226},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{He-Lemmon/00,
AUTHOR = {He, Kevin X. and Lemmon, Michael D.},
TITLE = {Liveness verification of discrete event systems modeled by $n$-safe ordinary Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {227-243},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Husberg-Tynjala-Varpaaniemi/00,
AUTHOR = {Husberg, Nisse and Tynj{\"a}l{\"a}, Teemu and Varpaaniemi, Kimmo},
TITLE = {Modelling and analysing the SDL description of the ISDN-DSS1 protocol},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {244-260},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kleijn-Koutny/00,
AUTHOR = {Kleijn, Jetty and Koutny, Maciej},
TITLE = {Process semantics of P/T-nets with inhibitor arcs},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {261-281},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kristensen-Valmari/00,
AUTHOR = {Kristensen, Lars Michael and Valmari, Antti},
TITLE = {Improved question-guided stubborn set methods for state properties},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {282-302},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Koutny/00,
AUTHOR = {Koutny, Maciej},
TITLE = {A compositional model of time Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {303-322},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lakos/00,
AUTHOR = {Lakos, Charles},
TITLE = {Composing abstractions of coloured Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {323-345},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lorentsen-Kristensen/00,
AUTHOR = {Lorentsen, Louise and Kristensen, Lars Michael},
TITLE = {Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {346-366},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mortensen/00,
AUTHOR = {Mortensen, Kjeld H.},
TITLE = {Automatic code generation method based on coloured Petri net models applied on an access control system},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {367-386},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Poitrenaud-Pradat-Peyre/00,
AUTHOR = {Poitrenaud, Denis and Pradat-Peyre, Jean-Francois},
TITLE = {Pre- and post-agglomerations for LTL model checking},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {387-408},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schnoebelen-Sidorova/00,
AUTHOR = {Schnoebelen, Philippe and Sidorova, Natalia},
TITLE = {Bisimulation and the reduction of Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {409-423},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Vogler/00,
AUTHOR = {Vogler, Walter},
TITLE = {Efficiency of asynchronous systems that communicate asynchronously},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {424-444},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Beister-Eckstein-Wollowski/00,
AUTHOR = {Beister, Jochen and Eckstein, Gernot and Wollowski, Ralf},
TITLE = {CASCADE: A tool kernel supporting a comprehensive design method for asynchronous controllers},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {445-454},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{van_der_Aalst-de_Crom-Goverde-van_Hee-Hofman-Reijers-van_der_Toorn/00,
AUTHOR = {van der Aalst, Wil M.P. and de Crom, Poul J.N. and Goverde, Roy R.H.M.J. and van Hee, Kees M. and Hofman, Wout J. and Reijers, Hajo A. and van der Toorn, Robert},
TITLE = {ExSpect 6.4: An executable specification tool for hierarchical colored Petri nets},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {455-464},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schmidt/00a,
AUTHOR = {Schmidt, Karsten},
TITLE = {LoLa: A low level analyser},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {465-474},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Verbeek-van_der_Aalst/00,
AUTHOR = {Verbeek, Eric and van der Aalst, Wil},
TITLE = {Woflan 2.0: A Petri-net-based workflow diagnosis tool},
BOOKTITLE = {Proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN'2000 (Aarhus, Denmark, June 26-30, 2000)},
SERIES = {LNCS},
VOLUME = {1825},
PAGES = {475-484},
YEAR = {2000},
EDITOR = {Nielsen, Mogens and Simpson, Dan},
URL = {http://dx.doi.org/10.1007/3-540-44988-4_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}