@incollection{Clarke/94,
AUTHOR = {Clarke, Edmund M.},
TITLE = {Automatic verification of finite-state concurrent systems},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {1},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{DiCesare-Kulp-Gile-List/94,
AUTHOR = {DiCesare, Frank and Kulp, Paul T. and Gile, Michael and List, George},
TITLE = {The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {2-15},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Meseguer-Montanari-Sassone/94,
AUTHOR = {Meseguer, Jos{\'{e}} and Montanari, Ugo and Sassone, Vladimiro},
TITLE = {On the model of computation of place/transition Petri nets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {16-38},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Anglano-Portinale/94,
AUTHOR = {Anglano, Cosimo and Portinale, Luigi},
TITLE = {B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {39-58},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bennacer-Florin-Fraize-Natkin/94,
AUTHOR = {Bennacer, N. and Florin, G. and Fraize, C. and Natkin, S.},
TITLE = {Probabilistic validation of a remote procedure call protocol},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {59-78},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berthelot-Boucheneb/94,
AUTHOR = {Berthelot, G{\'{e}}rard and Boucheneb, Hanifa},
TITLE = {Occurrence graphs for interval timed coloured nets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {79-98},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {interval timed coloured Petri nets, occurrence graph},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Briz-Colom/94,
AUTHOR = {Briz, J.L. and Colom, J.M.},
TITLE = {Implementation of weighted place/transition nets based on linear enabling functions},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {99-118},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {simulation of weighted place-transition systems, timed Petri nets, linear enabling functions, structure and behavior of nets},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buchholz/94,
AUTHOR = {Buchholz, Peter},
TITLE = {Hierarchical high level Petri nets for complex system analysis},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {119-138},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chiola-Franceschinis-Gaeta/94,
AUTHOR = {Chiola, G. and Franceschinis, G. and Gaeta, R.},
TITLE = {Modeling symmetric computer architectures by SWNs},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {139-158},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christensen-Hansen/94,
AUTHOR = {Christensen, Soren and Hansen, Niels Damgaard},
TITLE = {Coloured Petri nets extended with channels for synchronous communication},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {159-178},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {coloured Petri nets, synchronous communication, channels, modular specifications, re-usable models, invariant analysis},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ciardo/94,
AUTHOR = {Ciardo, Gianfranco},
TITLE = {Petri nets with marking-dependet arc cardinality: Properties and analysis},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {179-198},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Couvreur-Paviot-Adet/94,
AUTHOR = {Couvreur, J.M. and Paviot-Adet, E.},
TITLE = {New structural invariant for Petri nets analysis},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {199-218},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Diaz-Senac/94,
AUTHOR = {Diaz, Michel and S{\'{e}}nac, Patrick},
TITLE = {Timed stream Petri nets: A model for timed multimedia information},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {219-238},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Dietz-Schreiber/94,
AUTHOR = {Dietz, Cheryl and Schreiber, Gerlinde},
TITLE = {A term representation of P/T systems},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {239-257},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Donatelli/94,
AUTHOR = {Donatelli, Susanna},
TITLE = {Superposed generalized stochastic Petri nets: Definition and efficient solution},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {258-277},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Genrich-Hanisch-Wollhaf/94,
AUTHOR = {Genrich, Hartmann J. and Hanisch, Hans-Michael and W{\"o}llhaf, Konrad},
TITLE = {Verification of recipe-based control procedures by means of predicate/transition nets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {278-297},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Keller-Ozkan-Shen/94,
AUTHOR = {Keller, Rudolf K. and Ozkan, Marianne and Shen, Xijin},
TITLE = {Towards comprehensive support for the dynamic analysis of Petri net based models},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {298-317},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {dynamic analysis, Petri net, Macronet, environment, visualization, graphical simulation, performance analysis, business modelling, tool evaluation},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Koutny/94,
AUTHOR = {Koutny, Maciej},
TITLE = {Partial order semantics of box expressions},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {318-337},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {causality, partial order theory of concurrency, net-based algebraic calculi, structured operational semantics},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lakos-Christensen/94,
AUTHOR = {Lakos, Charles and Christensen, Soren},
TITLE = {A general systematic approach to arc extensions for coloured Petri nets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {338-357},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lautenbach-Ridder/94,
AUTHOR = {Lautenbach, Kurt and Ridder, Hanno},
TITLE = {Liveness in bounded Petri nets which are covered by T-invariants},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {358-375},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {liveness, linear invariants, deadlocks},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mortensen-Pinci/94,
AUTHOR = {Mortensen, Kjeld H. and Pinci, Valerio},
TITLE = {Modelling the work flow of a nuclear waste management program},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {376-395},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nielsen-Kleinrock/94,
AUTHOR = {Nielsen, Donna S. and Kleinrock, Leonard},
TITLE = {Data structures and algorithms for extended state space and structural level reduction of the GSPN model},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {396-415},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Pastor-Roig-Cortadella-Badia/94,
AUTHOR = {Pastor, Enric and Roig, Oriol and Cortadella, Jordi and Badia, Rosa M.},
TITLE = {Petri net analysis using Boolean manipulation},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {416-435},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ruckdeschel-Onken/94,
AUTHOR = {Ruckdeschel, W. and Onken, R.},
TITLE = {Modelling of pilot behaviour using Petri nets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {436-453},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Scheschonk-Timpe/94,
AUTHOR = {Scheschonk, Gert and Timpe, Michael},
TITLE = {Simulation and analysis of a document storage system},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {454-471},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sibertin-Blanc/94,
AUTHOR = {Sibertin-Blanc, C.},
TITLE = {Cooperative nets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {471-490},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Teruel-Silva/94,
AUTHOR = {Teruel, Enrique and Silva, Manuel},
TITLE = {Well-formedness of equal conflict systems},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {491-510},
YEAR = {1994},
EDITOR = {Valette, Robert},
KEYWORDS = {place/transition net systems, structure theory, rank theorem, well-formedness, decomposition},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Tiusanen/94,
AUTHOR = {Tiusanen, Mikko},
TITLE = {Symbolic, symmetry, and stubborn set searches},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {511-530},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Valmari/94,
AUTHOR = {Valmari, Antti},
TITLE = {Compositional analysis with place-bordered subnets},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {531-547},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Varpaaniemi/94a,
AUTHOR = {Varpaaniemi, Kimmo},
TITLE = {On combining the stubborn set method with the sleep set method},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {548-567},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yakovlev-Kishinevsky-Kondratyev-Lavagno/94,
AUTHOR = {Yakovlev, Alex and Kishinevsky, Michael and Kondratyev, Alex and Lavagno, Luciano},
TITLE = {OR causality: Modelling and hardware implementation},
BOOKTITLE = {Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)},
SERIES = {LNCS},
VOLUME = {815},
PAGES = {568-587},
YEAR = {1994},
EDITOR = {Valette, Robert},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}