Application and Theory of Petri Nets 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings. 1st ed. 1994

種類:

電子ブック

責任表示:

edited by Robert Valette

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994

著者名:

• Valette, Robert.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 815

ISBN:

9783540484622 [3540484620]    

注記:

Automatic verification of finite-state concurrent systems -- The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks -- On the model of computation of place/transition Petri nets -- B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation -- Probabilistic validation of a Remote Procedure Call protocol -- Occurrence graphs for Interval Timed Coloured Nets -- Implementation of weighted place/transition nets based on Linear Enabling Functions -- Hierarchical High Level Petri Nets for complex system analysis -- Modeling symmetric computer architectures by SWNs -- Coloured Petri Nets extended with channels for synchronous communication -- Petri nets with marking-dependent arc cardinality: Properties and analysis -- New structural invariants for Petri nets analysis -- Time Stream Petri Nets a model for timed multimedia information -- A term representation of P/T systems -- Superposed Generalized Stochastic Pet
This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world. The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets.

ローカル注記:

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