@incollection{Baldassari-Bruno/88,
AUTHOR = {Baldassari, M. and Bruno, G.},
TITLE = {An environment for object-oriented conceptual programming based on PROT nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {1-19},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Battiston-Cindio-Mauri/88,
AUTHOR = {Battiston, E. and Cindio, F. de and Mauri, G.},
TITLE = {OBJSA nets: a class of high-level nets having objects as domains},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {20-43},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Baumgarten/88,
AUTHOR = {Baumgarten, B.},
TITLE = {On internal and external characterizations of PT-net building block behaviour},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {44-61},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Carlier-Chretienne/88,
AUTHOR = {Carlier, J. and Chretienne, P.},
TITLE = {Timed Petri net schedules},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {62-84},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Degano-Gorrieri-Marchetti/88,
AUTHOR = {Degano, P. and Gorrieri, R. and Marchetti, S.},
TITLE = {An exercise in concurrency: a CSP process as a condition/event system},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {85-105},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Finkel-Rosier/88,
AUTHOR = {Finkel, A. and Rosier, L.},
TITLE = {A survey on the decidability questions for classes of FIFO nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {106-132},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Graubmann/88,
AUTHOR = {Graubmann, P.},
TITLE = {The construction of EN systems from a given trace behaviour},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {133-153},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Hartung/88,
AUTHOR = {Hartung, G.},
TITLE = {Programming a closely coupled multiprocessor system with high level Petri nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {154-174},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=154},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Haus-Rodriguez/88,
AUTHOR = {Haus, G. and Rodriguez, A.},
TITLE = {Music description and processing by Petri nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {175-199},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=175},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Howell-Rosier/88,
AUTHOR = {Howell, R.R. and Rosier, L.E.},
TITLE = {On questions of fairness and temporal logic for conflict-free Petri nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {200-226},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=200},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Kiehn/88,
AUTHOR = {Kiehn, A.},
TITLE = {Infinitary partial Petri net languages and their relationship to other Petri net semantics},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {227-248},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=227},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Koseska-Toszewa-Mazurkiewicz/88,
AUTHOR = {Koseska-Toszewa, V. and Mazurkiewicz, A.},
TITLE = {Net representation of sentences in natural languages},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {249-265},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=249},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lambert/88,
AUTHOR = {Lambert, J.L.},
TITLE = {Some consequences of the decidability of the reachability problem for Petri nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {266-282},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=266},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Lopez-Palaez/88,
AUTHOR = {Lopez, I. and Palaez, M.C.},
TITLE = {Experiences in the use of Galileo to design telecommunication systems},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {283-306},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=283},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Mazurkiewicz/88,
AUTHOR = {Mazurkiewicz, A.},
TITLE = {Compositional semantics of pure place/transition systems},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {307-330},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=307},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Ochmanski/88a,
AUTHOR = {Ochma{\'n}ski, E.},
TITLE = {Occurrence traces: processes of elementary net systems},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {331-342},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Remy-Levis/88,
AUTHOR = {Remy, P.A. and Levis, A.H.},
TITLE = {On the generation of organizational architectures using Petri nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {371-385},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=371},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Silva-Colom/88,
AUTHOR = {Silva, M. and Colom, J.M.},
TITLE = {On the computation of structural synchronic invariants in P/T nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {386-417},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=386},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@incollection{Taubner/88,
AUTHOR = {Taubner, D.},
TITLE = {On the implementation of Petri nets},
BOOKTITLE = {Advances in Petri Nets 1988},
SERIES = {LNCS},
VOLUME = {340},
PAGES = {418-439},
YEAR = {1988},
EDITOR = {Rozenberg, Grzegorz},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=340&spage=418},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}