@incollection{Varaiya/99,
AUTHOR = {Varaiya, Pravin},
TITLE = {Design, simulation, and implementation of hybrid systems},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {1-5},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Miner-Ciardo/99,
AUTHOR = {Miner, Andrew S. and Ciardo, Gianfranco},
TITLE = {Efficient reachability set generation and storage using decision diagrams},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {6-25},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Pastor-Cortadella-Pena/99,
AUTHOR = {Pastor, Enric and Cortadella, Jordi and Pe{\~{n}}a, Marco A.},
TITLE = {Structural methods to improve the symbolic analysis of Petri nets},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {26-45},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schmidt/99,
AUTHOR = {Schmidt, Karsten},
TITLE = {Stubborn sets for standard properties},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {46-65},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bastide-Palanque-Sy-Le-Navarre/99,
AUTHOR = {Bastide, R{\'{e}}mi and Palanque, Philippe and Sy, Ousmane and Le, Duc-Hoa and Navarre, David},
TITLE = {Petri net based behavioural specification of CORBA systems},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {66-85},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kummer-Moldt-Wienberg/99,
AUTHOR = {Kummer, Olaf and Moldt, Daniel and Wienberg, Frank},
TITLE = {Symmetric communication between coloured Petri net simulations and Java-processes},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {86-105},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Krogh/99,
AUTHOR = {Krogh, Bruce H.},
TITLE = {Recent developments in modeling and analysis of hybrid dynamic systems},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {106-106},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Recalde-Teruel-Silva/99,
AUTHOR = {Recalde, Laura and Teruel, Enrique and Silva, Manuel},
TITLE = {Autonomous continuous P/T systems},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {107-126},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Tokmakoff-Billington/99,
AUTHOR = {Tokmakoff, A. and Billington, J.},
TITLE = {An approach to the analysis of interworking traders},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {127-146},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Allmaier-Kreische/99,
AUTHOR = {Allmaier, Susann and Kreische, David},
TITLE = {Parallel approaches to the numerical transient analysis of stochastic reward nets},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {147-167},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Capra-Gaeta-Botti/99,
AUTHOR = {Capra, Lorenzo and Gaeta, Rossano and Botti, Oliver},
TITLE = {SWN nets as a framework for the specification and the analysis of FT techniques adopted in electric plant automation},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {168-187},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hadjicostis-Verghese/99,
AUTHOR = {Hadjicostis, Christoforos N. and Verghese, George C.},
TITLE = {Monitoring discrete event systems using Petri net embeddings},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {188-207},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sgroi-Lavagno-Watanabe-Sangiovanni-Vincentelli/99,
AUTHOR = {Sgroi, Marco and Lavagno, Luciano and Watanabe, Yosinori and Sangiovanni-Vincentelli, Alberto},
TITLE = {Quasi-static scheduling of embedded software using equal conflict nets},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {208-227},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Haddad-Poitrenaud/99,
AUTHOR = {Haddad, Serge and Poitrenaud, Denis},
TITLE = {Theoretical aspects of recursive Petri nets},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {228-247},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schneider-Wehler/99,
AUTHOR = {Schneider, Christoph and Wehler, Joachim},
TITLE = {Petri net theory --- Problems solved by commutative algebra},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {248-267},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chrzastowski-Wachtel/99,
AUTHOR = {Chrz{\c{a}}stowski-Wachtel, Piotr},
TITLE = {Testing undecidability of the reachability in Petri nets with the help of 10th Hilbert problem},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {268-281},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{de_Michelis/99,
AUTHOR = {de Michelis, Giorgio},
TITLE = {Net theory and workflow models},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {282-283},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Vogler/99,
AUTHOR = {Vogler, Walter},
TITLE = {Concurrent implementation of asynchronous transition systems},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {284-303},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fanchon/99,
AUTHOR = {Fanchon, Jean},
TITLE = {Trace channel nets},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {304-323},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Juhas/99,
AUTHOR = {Juh{\'{a}}s, Gabriel},
TITLE = {Reasoning about algebraic generalisation of Petri nets},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {324-343},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Best-Devillers-Koutny/99,
AUTHOR = {Best, Eike and Devillers, Raymond and Koutny, Maciej},
TITLE = {The box algebra --- A model of nets and process expressions},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {344-363},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Couvreur-Poitrenaud/99,
AUTHOR = {Couvreur, Jean-Michel and Poitrenaud, Denis},
TITLE = {Detection of illegal behaviors based on unfoldings},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {364-383},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Cheung-Lu/99,
AUTHOR = {Cheung, To-Yat and Lu, Yiqin},
TITLE = {Five classes of invariant-preserving transformations on colored Petri nets},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {384-403},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Baar-Kindler-Volzer/99,
AUTHOR = {Baar, Thomas and Kindler, Ekkart and V{\"o}lzer, Hagen},
TITLE = {Verifying intuition --- ILF checks DAWN proofs},
BOOKTITLE = {Proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99 (Williamsburg, Virginia, June 21-25, 1999)},
SERIES = {LNCS},
VOLUME = {1639},
PAGES = {404-423},
YEAR = {1999},
EDITOR = {Donatelli, Susanna and Kleijn, Jetty},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}