Application and Theory of Petri Nets 1996: 17th International Conference Osaka, Japan, June 24-28, 1996: Proceedings (Lecture Notes in Computer Science)

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. Modeling Concurrent Systems / G. Agha -- Temporal Uncertainty And Fuzzy-timing High-level Petri Nets / T. Murata -- Compositionality In State Space Verification Methods / A. Valmari -- On Liveness And Controlers Siphons In Petri Nets / K. Barkaoui, J.-f. Pradat-peyre -- Behavioral And Structural Composition Rules Preserving Liveness By Synchronization For Colored Fifo Nets / M.-l. Benalycherif, C. Girault -- High-level Synthesis Of Synchronous Parallel Controlers / K. Bilinski, E.l. Dagless -- Non Sequential Semantics For Contextual P/t Nets / N. Busi, G.m. Pinna -- The Psr Methodology / S. Donatelli, G. Franceschinis -- Designing And Verifying A Communications Gateway Using Colored Petri Nets And Design/cpn / D.j. Floreani, J. Billington, A. Dadej -- Expected Impulse Rewards In Markov Regenerative Stochastic Petri Nets / R. German [and Others] -- Asynchronous Composition Of High Level Petri Nets / S. Haddad, P. Moreaux --^ A Formal Definition Of Hierarchical Predicate Transition Nets / X. He -- Reduced State Space Representation For Unbounded Vector State Spaces / K. Hiraishi -- Modeling And Analysis Of Distributed Program Execution In Beta Using Colored Petri Nets / J.b. Jorgensen, K.h. Mortensen -- Reachability Analysis Based On Structured Representations / P. Kemper -- Arc-typed Petri Nets / E. Kindler, R. Walter -- The Sea Language For System Engineering And Animation / B. Kleinjohann, E. Kleinjohann, J. Tacken -- A New Iterative Numerical Solution Algorithm For A Class Of Stochastic Petri Nets / W. Knaup -- A Structural Approach For The Analysis Of Petri Nets By Reduced Unfoldings / A. Kondratyev [and Others] -- An Algorithm To Verify If A Net Is Regular / A. Kovalyov -- The Consistent Use Of Names And Polymorphism In The Definition Of Object Petri Nets / C. Lakos -- Designing A Security System By Means Of Colored Petri Nets / J. Linneberg Rasmussen, M. Singh --^ Modeling And Analysing Dart Systems Through High-level Petri Nets / L. Nigro, F. Pupo -- {sc}*ecs: A Class Of Modular And Hierarchical Cooperating Systems / L. Recalde, E. Teruel, M. Silva -- Behavioral Equivalence For Infinite Systems / K. Sunesen, M. Nielsen -- Topological Aspects Of Traces / J. Van Oosten -- Asynchronous Control Device Design By Net Model Behavior Simulation / V.i. Varshavsky, V.b. Marakhovsky -- Covering Step Graph / F. Vernadat, P. Azema, F. Michel -- Performance Analysis Of A Connection Management Scheme In Iwu Interconnecting Lans Across Atm Networks / J. Yuan, L. Liu, Z. Dong. Jonathan Billington, Wolfgang Reisig, Eds. Proceedings Of The 17th International Conference On Application And Theory Of Petri Nets--pref. Includes Bibliographical References And Index. Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition....Pages 1-10 Temporal uncertainty and fuzzy-timing high-level Petri nets....Pages 11-28 Compositionality in state space verification methods....Pages 29-56 On liveness and controlled siphons in Petri nets....Pages 57-72 Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets....Pages 73-92 High level synthesis of synchronous parallel controllers....Pages 93-112 Non sequential semantics for contextual P/T nets....Pages 113-132 The PSR methodology: Integrating hardware and software models....Pages 133-152 Designing and verifying a communications gateway using coloured Petri nets and design/CPNTM....Pages 153-171 Expected impulse rewards in Markov regenerative stochastic Petri nets....Pages 172-191 Asynchronous composition of high level Petri Nets: A quantitative approach....Pages 192-211 A formal definition of hierarchical predicate transition nets....Pages 212-229 Reduced state space representation for unbounded vector state spaces....Pages 230-248 Modelling and analysis of distributed program execution in BETA using coloured Petri Nets....Pages 249-268 Reachability analysis based on structured representations....Pages 269-288 Arc-typed Petri Nets....Pages 289-306 The SEA Language for system engineering and animation....Pages 307-326 A new iterative numerical solution algorithm for a class of stochastic Petri Nets....Pages 327-345 A structural approach for the analysis of Petri Nets by reduced unfoldings....Pages 346-365 An O (¦ S ¦ × ¦ T ¦)-algorithm to verify if a net is regular....Pages 366-379 The consistent use of names and polymorphism in the definition of Object Petri Nets....Pages 380-399 Designing a security system by means of Coloured Petri Nets....Pages 400-419 Modeling and analysing DART systems through high-level Petri nets....Pages 420-439 {SC} * ECS: A class of modular and hierarchical cooperating systems....Pages 440-459 Behavioural equivalence for infinite systems — Partially decidable!....Pages 460-479 Topological aspects of traces....Pages 480-496 Asynchronous control device design by net model behavior simulation....Pages 497-515 Covering step graph....Pages 516-535 Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks....Pages 536-548