default search action
8th APN 1987: Zaragoza, Spain
- Grzegorz Rozenberg:
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 - Marco Baldassari, Giorgio Bruno:
An Environment for Object- oriented Conceptual Programming Based on PROT Nets. 1-19 - Eugenio Battiston, Fiorella de Cindio, Giancarlo Mauri
:
OBJSA Nets: a Class of High- level Nets Having Objects as Domains. 20-43 - Bernd Baumgarten:
On Internal and External Characterizations of PT- net Building Block Behaviors. 44-61 - J. Carlier, Philippe Chrétienne:
Timed Petri net schedules. 62-84 - Pierpaolo Degano, Roberto Gorrieri, Sergio Marchetti:
An Exercise in Concurrency: a CSP Process as a Condition/ event System. 85-105 - Alain Finkel, Louis E. Rosier:
A Survey on the Decidability Questions for Classes of FIFO Nets. 106-132 - Peter Graubmann:
The Construction of EN Systems from a Given Trace Behavior. 133-153 - Gerog Hartung:
Programming a Closely Coupled Multiprocessor System with Hight Level Petri Nets. 154-174 - Goffredo Haus, Antonio Rodriguez:
Music Description and Processing by Petri Nets. 175-199 - Rodney R. Howell, Louis E. Rosier:
On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets. 200-226 - Astrid Kiehn:
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics. 227-248 - Violetta Koseska-Toszewa, Antoni W. Mazurkiewicz:
Net Representation of Sentences in Natural Languages. 249-265 - J. L. Lambert:
Some Consequences of the Decidability of the Reachability Problem for Petri Nets. 266-282 - Ignacio Lopez, M. Carmen Palaez:
Experiences in the Use of Galileo to Design Telecommunication Systems. 283-306 - Antoni W. Mazurkiewicz:
Compositional Semantics of Pure Place/ Transition Systems. 307-330 - Edward Ochmanski:
Occurrence Traces: Processes of Elementary Net Systems. 331-342 - D. Quichaud, Philippe Chrétienne:
Performance Evaluation of Interpreted Bipolar Synchronization Schemes Using G. E. R. T.. 343-370 - Pascal A. Remy, Alexander H. Levis:
On the Generation of Organizational Architectures Using Petri Nets. 371-385 - Manuel Silva Suárez
On the Computation of Structural Synchronic Invariants in P/T Nets. 386-417 - Dirk Taubner:
On the Implementation of Petri Nets. 418-434
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-30 20:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: