Getting this item's online copy...Find a copy in the library
Getting this item's location and availability...WorldCat
Find it in libraries globally
Worldwide libraries own 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. |
Retrieving notes about this item