@incollection{Chehaibar/93,
AUTHOR = {Chehaibar, Ghassan},
TITLE = {Replacement of open interface subnets and stable state transformation equivalence},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {1-25},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cherkasova-Howell-Rosier/93,
AUTHOR = {Cherkasova, Ludmila and Howell, Rodney R. and Rosier, Louis E.},
TITLE = {Bounded self-stabilizing Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {26-50},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Couvreur-Haddad-Peyre/93,
AUTHOR = {Couvreur, J.M. and Haddad, S. and Peyre, J.F.},
TITLE = {Generative families of positive invariant in coloured nets sub-classes},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {51-70},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{David-Alla/93,
AUTHOR = {David, Ren{\'e} and Alla, Hassane},
TITLE = {Autonomous and timed continuous Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {71-90},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Evans/93a,
AUTHOR = {Evans, John B.},
TITLE = {The Devnet: A Petri net for discrete event simulation},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {91-125},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=91},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ezpeleta-Couvreur-Silva/93,
AUTHOR = {Ezpeleta, J. and Couvreur, J.M. and Silva, M.},
TITLE = {A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {126-147},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Fehling/93,
AUTHOR = {Fehling, Rainer},
TITLE = {A concept of hierarchical Petri nets with building blocks},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {148-168},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=148},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Feldbrugge/93,
AUTHOR = {Feldbrugge, Frits},
TITLE = {Petri net tool overview 1992},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {169-209},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=169},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Finkel/93,
AUTHOR = {Finkel, Alain},
TITLE = {The minimal coverability graph for Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {210-243},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=210},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gorrieri-Montanari/93,
AUTHOR = {Gorrieri, Roberto and Montanari, Ugo},
TITLE = {Distributed implementation of CCS},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {244-266},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=244},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gouet-Plo-Miguel-Ycart/93,
AUTHOR = {Gouet, R. and Plo, F. and Miguel, M. San and Ycart, B.},
TITLE = {Saturation conditions for stochastic Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {267-280},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=267},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Laftit-Proth-Xie/93,
AUTHOR = {Laftit, S. and Proth, J.M. and Xie, X.L.},
TITLE = {Marking optimization in timed event graphs},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {281-300},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=281},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lindqvist/93,
AUTHOR = {Lindqvist, Markus},
TITLE = {Parameterized reachability trees for predicate/transition nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {301-324},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=301},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Li-Woodside/93,
AUTHOR = {Li, Yao and Woodside, C. Murray},
TITLE = {Iterative decomposition and aggregation of stochastic marked graph Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {325-349},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=325},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{de_Michelis/93,
AUTHOR = {de Michelis, Giorgio},
TITLE = {Constraints and extensions in a calculus of EN systems},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {350-370},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=350},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Smith/93c,
AUTHOR = {Smith, Einar},
TITLE = {Comparability orders and measurement},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {371-405},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=371},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Souissi/93,
AUTHOR = {Souissi, Younes},
TITLE = {Deterministic systems of sequential processes: A class of structured Petri nets},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {406-426},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=406},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Valmari/93,
AUTHOR = {Valmari, Antti},
TITLE = {Compositional state space generation},
BOOKTITLE = {Advances in Petri Nets 1993},
SERIES = {LNCS},
VOLUME = {674},
PAGES = {427-457},
YEAR = {1993},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=674&spage=427},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}