8. APN 1987:
Zaragoza,
Spain
Grzegorz Rozenberg (Ed.):
Advances in Petri Nets 1988, covers the 8th European Workshop on Applications and Theory of Petri Nets, held in Zaragoza, Spain in June 1987, selected papers.
Lecture Notes in Computer Science 340 Springer 1988, ISBN 3-540-50580-6 BibTeX
@proceedings{DBLP:conf/apn/1987,
editor = {Grzegorz Rozenberg},
title = {Advances in Petri Nets 1988, covers the 8th European Workshop
on Applications and Theory of Petri Nets, held in Zaragoza, Spain
in June 1987, selected papers},
booktitle = {European Workshop on Applications and Theory of Petri Nets},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {340},
year = {1988},
isbn = {3-540-50580-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Marco Baldassari, Giorgio Bruno:
An Environment for Object- oriented Conceptual Programming Based on PROT Nets.
1-19 BibTeX
- Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri:
OBJSA Nets: a Class of High- level Nets Having Objects as Domains.
20-43 BibTeX
- Bernd Baumgarten:
On Internal and External Characterizations of PT- net Building Block Behaviors.
44-61 BibTeX
- J. Carlier, Philippe Chrétienne:
Timed Petri net schedules.
62-84 BibTeX
- Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti:
An Exercise in Concurrency: a CSP Process as a Condition/ event System.
85-105 BibTeX
- Alain Finkel, Louis E. Rosier:
A Survey on the Decidability Questions for Classes of FIFO Nets.
106-132 BibTeX
- Peter Graubmann:
The Construction of EN Systems from a Given Trace Behavior.
133-153 BibTeX
- Gerog Hartung:
Programming a Closely Coupled Multiprocessor System with Hight Level Petri Nets.
154-174 BibTeX
- Goffredo Haus, Antonio Rodriguez:
Music Description and Processing by Petri Nets.
175-199 BibTeX
- Rodney R. Howell, Louis E. Rosier:
On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets.
200-226 BibTeX
- Astrid Kiehn:
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics.
227-248 BibTeX
- Violetta Koseska-Toszewa, Antoni W. Mazurkiewicz:
Net Representation of Sentences in Natural Languages.
249-265 BibTeX
- J. L. Lambert:
Some Consequences of the Decidability of the Reachability Problem for Petri Nets.
266-282 BibTeX
- Ignacio Lopez, M. Carmen Palaez:
Experiences in the Use of Galileo to Design Telecommunication Systems.
283-306 BibTeX
- Antoni W. Mazurkiewicz:
Compositional Semantics of Pure Place/ Transition Systems.
307-330 BibTeX
- Edward Ochmanski:
Occurrence Traces: Processes of Elementary Net Systems.
331-342 BibTeX
- D. Quichaud, Philippe Chrétienne:
Performance Evaluation of Interpreted Bipolar Synchronization Schemes Using G. E. R. T..
343-370 BibTeX
- Pascal A. Remy, Alexander H. Levis:
On the Generation of Organizational Architectures Using Petri Nets.
371-385 BibTeX
- Manuel Silva, José Manuel Colom:
On the Computation of Structural Synchronic Invariants in P/T Nets.
386-417 BibTeX
- Dirk Taubner:
On the Implementation of Petri Nets.
418-434 BibTeX
Copyright © Sat May 16 22:58:14 2009
by Michael Ley (ley@uni-trier.de)