Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986: Part 2: Petri Nets: Applications and Relationships

ISBN-13: 9783540179061 / Angielski / Miękka / 1987 / 519 str.

Wilfried Brauer; Wolfgang Reisig; Grzegorz Rozenberg

Opis

Contains the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. This title discusses tools supporting the design of petri nets as well as their modification and analysis. It covers the relationship of petri nets to other concurrency models. It presents the results in the application and theory of petri nets.

Spis treści

to Part II.- Computer tools for construction, modification and analysis of Petri nets.- Petri net tool overview 1986.- Petri nets in software engineering.- Nets in data bases.- Petri net based models in the specification and verification of protocols.- Human-machine interaction and role/function/action-nets.- Nets in production systems.- Nets in computer organization.- Nets in office automation.- Modelling architectural features with petrinets.- Trace theory.- Event structures.- CCS — and its relationship to net theory.- COSY: Its relation to nets and to CSP.- TCSP: Theory of communicating sequential processes.- Reduction, data flow and control flow models of computation.- “Forgotten topics” of net theory.