Skip to main content
SpringerLink
Log in
Book cover

Application and Theory of Petri Nets 1999

20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Susanna Donatelli

    1. Dipartimento di Informatica, Università di Torino, Torino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jetty Kleijn

    1. LIACS, Leiden University , Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1639)

Included in the following conference series:

Conference proceedings info: ICATPN 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Design, Simulation, and Implementation of Hybrid Systems

    • Pravin Varaiya
    Pages 1-5

  3. Efficient Reachability Set Generation and Storage Using Decision Diagrams

    • Andrew S. Miner, Gianfranco Ciardo
    Pages 6-25

  4. Structural Methods to Improve the Symbolic Analysis of Petri Nets

    • Enric Pastor, Jordi Cortadella, Marco A. Peña
    Pages 26-45

  5. Stubborn Sets for Standard Properties

    • Karsteb Schmidt
    Pages 46-65

  6. Petri Net Based Behavioural Specification of CORBA Systems

    • Rémi Bastide, Philippe Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
    Pages 66-85

  7. Symmetric Communication between Coloured Petri Net Simulations and Java-Processes

    • Olaf Kummer, Daniel Moldt, Frank Wienberg
    Pages 86-105

  8. Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems

    • Bruce H. Krogh
    Pages 106-106

  9. Autonomous Continuous P/T Systems

    • Laura Recalde, Enrique Teruel, Manuel Silva
    Pages 107-126

  10. An Approach to the Analysis of Interworking Traders

    • A. Tokmakoff, J. Billington
    Pages 127-146

  11. Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets

    • Susann Allmaier, David Kreische
    Pages 147-167

  12. SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation

    • Lorenzo Capra, Rossano Gaeta, Oliver Botti
    Pages 168-187

  13. Monitoring Discrete Event Systems Using Petri Net Embeddings

    • Christoforos N. Hadjicostis, George C. Verghese
    Pages 188-207

  14. Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets

    • Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto Sangiovanni-Vincentelli
    Pages 208-227

  15. Theoretical Aspects of Recursive Petri Nets

    • Serge Haddad, Denis Poitrenaud
    Pages 228-247

  16. Petri Net Theory — Problems Solved by Commutative Algebra

    • Christoph Schneider, Joachim Wehler
    Pages 248-267

  17. Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem

    • Piotr Chrząstowski-Wachtel
    Pages 268-281

  18. Net Theory and Workflow Models

    • Giorgio De Michelis
    Pages 282-283

  19. Concurrent Implementation of Asynchronous Transition Systems

    • Walter Vogler
    Pages 284-303

  20. Trace Channel Nets

    • Jean Fanchon
    Pages 304-323
Back to top

Keywords

Editors and Affiliations

  • Dipartimento di Informatica, Università di Torino, Torino, Italy

    Susanna Donatelli

  • LIACS, Leiden University , Leiden, The Netherlands

    Jetty Kleijn

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation