17. APN 1996: Osaka, Japan

@proceedings{DBLP:conf/apn/1996,
  editor    = {Jonathan Billington and
               Wolfgang Reisig},
  title     = {Application and Theory of Petri Nets 1996, 17th International
               Conference, Osaka, Japan, June 24-28, 1996, Proceedings},
  booktitle = {Application and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1091},
  year      = {1996},
  isbn      = {3-540-61363-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

• Gul Agha: Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. 1-10 BibTeX
• Tadao Murata: Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. 11-28 BibTeX
• Antti Valmari: Compositionality in State Space Verification Methods. 29-56 BibTeX

Full Papers

• Kamel Barkaoui, Jean-François Pradat-Peyre: On Liveness and Controlled Siphons in Petri Nets. 57-72 BibTeX
• Mohamed-Lyes Benalycherif, Claude Girault: Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. 73-92 BibTeX
• Krzysztof Bilinski, Erik L. Dagless: High Level Synthesis of Synchronous Parallel Controllers. 93-112 BibTeX
• Nadia Busi, G. Michele Pinna: Non Sequential Semantics for Contextual P/T Nets. 113-132 BibTeX
• Susanna Donatelli, Giuliana Franceschinis: The PSR Methodology: Integrating Hardware and Software Models. 133-152 BibTeX
• D. J. Floreani, Jonathan Billington, A. J. Dadej: Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. 153-171 BibTeX
• Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders: Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets. 172-191 BibTeX
• Serge Haddad, Patrice Moreaux: Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. 192-211 BibTeX
• Xudong He: A Formal Definition of Hierarchical Predicate Transition Nets. 212-229 BibTeX
• Kunihiko Hiraishi: Reducted State Space Representation for Unbounded Vector State Spaces. 230-248 BibTeX
• Jens Bæk Jørgensen, Kjeld Høyer Mortensen: Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. 249-268 BibTeX
• Peter Kemper: Reachability Analysis Based on Structured Representations. 269-288 BibTeX
• Ekkart Kindler, Rolf Walter: Arc-Typed Petri Nets. 289-306 BibTeX
• Bernd Kleinjohann, Lisa Kleinjohann, Jürgen Tacken: The SEA Language for System Engineering and Animation. 307-326 BibTeX
• Werner Knaup: A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets. 327-345 BibTeX
• Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten: A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. 346-365 BibTeX
• Andrei Kovalyov: An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. 366-379 BibTeX
• Charles Lakos: The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. 380-399 BibTeX
• Jens Linneberg Rasmussen, Mejar Singh: Designing a Security System by Means of Coloured Petri Nets. 400-419 BibTeX
• Libero Nigro, Francesco Pupo: Modeling and Analysing DART Systems Through High-Level Petri Nets. 420-439 BibTeX
• Laura Recalde, Enrique Teruel, Manuel Silva: {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. 440-459 BibTeX
• Kim Sunesen, Mogens Nielsen: Behavioural Equivalence for Infinite Systems - Partially Decidable! 460-479 BibTeX
• Jaap van Oosten: Topological Aspects of Traces. 480-496 BibTeX
• Victor Varshavsky, Vyacheslav Marakhovsky: Asynchronous Control Device Design by Net Model Behavior Simulation. 497-515 BibTeX
• François Vernadat, Pierre Azéma, François Michel: Covering Step Graph. 516-535 BibTeX
• Jun Yuan, Lilin Liu, Zhanqiu Dong: Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. 536-548 BibTeX