Application and Theory of Petri Nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings. 1st ed. 1996

種類:

電子ブック

責任表示:

edited by Jonathan Billington, Wolfgang Reisig

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996

著者名:

• Billington, Jonathan.
• Reisig, Wolfgang.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 1091

ISBN:

9783540685050 [3540685057]    

注記:

Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition -- Temporal uncertainty and fuzzy-timing high-level Petri nets -- Compositionality in state space verification methods -- On liveness and controlled siphons in Petri nets -- Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets -- High level synthesis of synchronous parallel controllers -- Non sequential semantics for contextual P/T nets -- The PSR methodology: Integrating hardware and software models -- Designing and verifying a communications gateway using coloured Petri nets and design/CPN™ -- Expected impulse rewards in Markov regenerative stochastic Petri nets -- Asynchronous composition of high level Petri Nets: A quantitative approach -- A formal definition of hierarchical predicate transition nets -- Reduced state space representation for unbounded vector state spaces -- Modelling and analysis of distributed program execution in BETA using coloured Petri Nets --
This book constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in June 1996. The 26 revised full papers included in the book together with three invited presentations were selected from a total of 78 submissions. The book addresses the current theoretical and applicational aspects of the various types of Petri Nets and competently reflects the state of the art in the area.

ローカル注記:

学内専用E-BOOKS (local access only)