skip to content
Advances in Petri nets, 1988 Preview this item
ClosePreview this item

Advances in Petri nets, 1988

Author: Grzegorz Rozenberg
Publisher: Berlin ; New York : Springer-Verlag, ©1988.
Series: Lecture notes in computer science, 340.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Getting this item's online copy... Getting this item's online copy...

Find a copy in the library

Getting this item's location and availability... 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 Retrieving notes about this item

Reviews

User-contributed reviews

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.