Abstract is missing.
- An Environment for Object- oriented Conceptual Programming Based on PROT NetsMarco Baldassari, Giorgio Bruno. 1-19
- OBJSA Nets: a Class of High- level Nets Having Objects as DomainsEugenio Battiston, Fiorella de Cindio, Giancarlo Mauri. 20-43
- On Internal and External Characterizations of PT- net Building Block BehaviorsBernd Baumgarten. 44-61
- Timed Petri net schedulesJ. Carlier, Philippe Chrétienne. 62-84
- An Exercise in Concurrency: a CSP Process as a Condition/ event SystemPierpaolo Degano, Roberto Gorrieri, Sergio Marchetti. 85-105
- A Survey on the Decidability Questions for Classes of FIFO NetsAlain Finkel, Louis E. Rosier. 106-132
- The Construction of EN Systems from a Given Trace BehaviorPeter Graubmann. 133-153
- Programming a Closely Coupled Multiprocessor System with Hight Level Petri NetsGerog Hartung. 154-174
- Music Description and Processing by Petri NetsGoffredo Haus, Antonio Rodriguez. 175-199
- On Questions of Fairness and Temporal Logic for Conflict- Free Petri NetsRodney R. Howell, Louis E. Rosier. 200-226
- Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net SemanticsAstrid Kiehn. 227-248
- Net Representation of Sentences in Natural LanguagesVioletta Koseska-Toszewa, Antoni W. Mazurkiewicz. 249-265
- Some Consequences of the Decidability of the Reachability Problem for Petri NetsJ.-L. Lambert. 266-282
- Experiences in the Use of Galileo to Design Telecommunication SystemsIgnacio Lopez, M. Carmen Palaez. 283-306
- Compositional Semantics of Pure Place/ Transition SystemsAntoni W. Mazurkiewicz. 307-330
- Occurrence Traces: Processes of Elementary Net SystemsEdward Ochmanski. 331-342
- Performance Evaluation of Interpreted Bipolar Synchronization Schemes Using G. E. R. T.D. Quichaud, Philippe Chrétienne. 343-370
- On the Generation of Organizational Architectures Using Petri NetsPascal A. Remy, Alexander H. Levis. 371-385
- On the Computation of Structural Synchronic Invariants in P/T NetsManuel Silva, José Manuel Colom. 386-417
- On the Implementation of Petri NetsDirk Taubner. 418-434