@incollection{Valk/98,
AUTHOR = {Valk, R{\"u}diger},
TITLE = {Petri nets as token objects --- An introduction to elementary object nets},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {1-25},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Arnold/98,
AUTHOR = {Arnold, Andr{\'{e}}},
TITLE = {Synchronized products of transition systems and their analysis},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {26-27},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chiola/98,
AUTHOR = {Chiola, Giovanni},
TITLE = {Manual and automatic exploitation of symmetries in SPN models},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {28-43},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ajmone_Marsan-Chiasserini-Fumagalli/98,
AUTHOR = {Ajmone Marsan, Marco and Chiasserini, Carla-Fabiana and Fumagalli, Andrea},
TITLE = {Dimensioning handover buffers in wireless ATM networks with GSPN models},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {44-63},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ezpeleta-Garcia-Valles-Colom/98,
AUTHOR = {Ezpeleta, J. and Garc{\'{i}}a-Vall{\'{e}}s, F. and Colom, J.M.},
TITLE = {A class of well structured Petri nets for flexible manufacturing systems},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {64-83},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fisler-Girault/98,
AUTHOR = {Fisler, Kathi and Girault, Claude},
TITLE = {Modelling and model checking a distributed shared memory consistency protocol},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {84-103},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kristensen-Valmari/98,
AUTHOR = {Kristensen, Lars Michael and Valmari, Antti},
TITLE = {Finding stubborn sets of coloured Petri nets without unfolding},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {104-123},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Varpaaniemi/98,
AUTHOR = {Varpaaniemi, Kimmo},
TITLE = {On stubborn sets in the verification of linear time temporal properties},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {124-143},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fleischhack-Grahlmann/98,
AUTHOR = {Fleischhack, Hans and Grahlmann, Bernd},
TITLE = {A compositional Petri net semantics for SDL},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {144-164},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hesketh-Koutny/98,
AUTHOR = {Hesketh, Martin and Koutny, Maciej},
TITLE = {An axiomatisation of duplication equivalence in the Petri box calculus},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {165-184},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bihler-Vogler/98,
AUTHOR = {Bihler, Elmar and Vogler, Walter},
TITLE = {Efficiency of token-passing MUTEX-solutions --- Some experiments},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {185-204},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Stehr/98,
AUTHOR = {Stehr, Mark-Oliver},
TITLE = {Thinking in cycles},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {205-225},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Buchholz/98,
AUTHOR = {Buchholz, Peter},
TITLE = {Iterative decomposition and aggregation of labeled GSPNs},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {226-245},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gribaudo-Sereno/98,
AUTHOR = {Gribaudo, Marco and Sereno, Matteo},
TITLE = {On the use of structural Petri net analysis for studying product form equilibrium distributions of queueing networks with blocking},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {246-265},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bertino-Chiola-Mancini/98,
AUTHOR = {Bertino, E. and Chiola, G. and Mancini, L.V.},
TITLE = {Deadlock detection in the face of transaction and data dependencies},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {266-285},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Langner-Schneider-Wehler/98,
AUTHOR = {Langner, Peter and Schneider, Christoph and Wehler, Joachim},
TITLE = {Petri net based certification of event-driven process chains},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {286-305},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Benzaken-Hugon-Klaudel-Pelz-Riemann/98,
AUTHOR = {Benzaken, V{\'{e}}ronique and Hugon, Nicolas and Klaudel, Hanna and Pelz, Elisabeth and Riemann, Robert-C.},
TITLE = {$M$-net calculus based semantics for triggers},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {306-325},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gaeta-Ajmone_Marsan/98,
AUTHOR = {Gaeta, Rossano and Ajmone Marsan, Marco},
TITLE = {SWN analysis and simulation of large knockout ATM switches},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {326-344},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kindler-Volzer/98,
AUTHOR = {Kindler, Ekkart and V{\"o}lzer, Hagen},
TITLE = {Flexibility in algebraic nets},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {345-364},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kindler-Vesper/98,
AUTHOR = {Kindler, Ekkart and Vesper, Tobias},
TITLE = {ESTL: A temporal logic for events and states},
BOOKTITLE = {Proceedings of the 19th International Conference on Application and Theory of Petri Nets, ICATPN'98 (Lisbon, Portugal, June 22-26, 1998)},
SERIES = {LNCS},
VOLUME = {1420},
PAGES = {365-384},
YEAR = {1998},
EDITOR = {Desel, J{\"o}rg and Silva, Manuel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}