Getting this item's online copy...
Find a copy in the library
Getting this item's location and availability...
Find it in libraries globally
|Material Type:||Internet resource|
|Document Type:||Book, Internet Resource|
|All Authors / Contributors:||
|ISBN:||0387505806 9780387505800 3540505806 9783540505808|
|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