Find a copy online
Links to this item
Find a copy in the library
Finding libraries that hold this item...
Details
Genre/Form: | Congrès |
---|---|
Material Type: | Internet resource |
Document Type: | Book, Internet Resource |
All Authors / Contributors: |
Grzegorz Rozenberg |
ISBN: | 0387505806 9780387505800 3540505806 9783540505808 |
OCLC Number: | 18958954 |
Description: | vi, 439 pages : illustrations ; 24 cm. |
Contents: | An environment for object-oriented conceptual programming based on PROT nets.- OBJSA Nets: a class of high-level nets having objects as domains.- On internal and external characterisations of PT-net building block behaviour.- Timed Petri Net schedules.- An exercise in concurrency: A CSP process as a condition/event system.- A survey on the decidability questions for classes of fifo nets.- The construction of EN systems from a given trace behaviour.- Programming a closely coupled multiprocessor system with high level petri nets.- Music description and processing by Petri Nets.- On questions of fairness and temporal logic for conflict-free Petri nets.- Infinitary partial Petri net languages and their relationship to other Petri net semantics.- Net representation of sentences in natural languages.- Some consequences of the decidability of the reachability problem for Petri nets.- Experiences in the use of galileo to design telecommunication systems.- Compositional semantics of pure place/transition systems.- Occurrence traces.- Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T..- On the generation of organizational architectures using Petri Nets.- On the computation of structural synchronic invariants in P/T nets.- On the implementation of Petri nets. |
Series Title: | Lecture notes in computer science, 340. |
Responsibility: | Grzegorz Rozenberg, ed. |
More information: |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "Advances in Petri nets, 1988".
Be the first.