Skip to main content
SpringerLink
Log in

Application and Theory of Petri Nets 1993

14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Marco Ajmone Marsan
    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 691)

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

Access this book

Log in via an institution
Softcover Book USD 109.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 (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Modeling and enactment of workflow systems

    • Clarence A. Ellis, Gary J. Nutt
    Pages 1-16

  3. Interleaving functional and performance structural analysis of net models

    • Manuel Silva
    Pages 17-23

  4. FSPNs: Fluid stochastic Petri nets

    • Kishor S. Trivedi, Vidyadhar G. Kulkarni
    Pages 24-31

  5. Taking advantages of temporal redundancy in High Level Petri Nets implementations

    • J. A. Bañares, P. R. Muro-Medrano, J. L. Villarroel
    Pages 32-48

  6. A subset of Lotos with the computational power of Place/Transition-nets

    • Michel Barbeau, Gregor v. Bochmann
    Pages 49-68

  7. An efficient algorithm for finding structural deadlocks in colored Petri nets

    • K. Barkaoui, C. Dutheillet, S. Haddad
    Pages 69-88

  8. Synthesis of net systems

    • Luca Bernardinello
    Pages 89-105

  9. Hierarchies in colored GSPNs

    • Peter Buchholz
    Pages 106-125

  10. Variable reasoning and analysis about uncertainty with fuzzy Petri nets

    • Tiehua Cao, Arthur C. Sanderson
    Pages 126-145

  11. Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency

    • Giovanni Chiola, Alois Ferscha
    Pages 146-165

  12. Transient analysis of deterministic and stochastic Petri nets

    • Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi
    Pages 166-185

  13. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs

    • Søren Christensen, Niels Damgaard Hansen
    Pages 186-205

  14. Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems

    • Yi Deng, S. K. Chang, Jorge C. A. de Figueired, Angelo Perkusich
    Pages 206-223

  15. Shortest paths in reachability graphs

    • Jörg Desel, Javier Esparza
    Pages 224-241

  16. Construction of S-invariants and S-components for refined Petri boxes

    • Raymond Devillers
    Pages 242-261

  17. Compositional liveness properties of EN-systems

    • D. Gomm, E. Kindler, B. Paech, R. Walter
    Pages 262-281

  18. Analysis of place/transition nets with timed arcs and its application to batch process control

    • Hans-Michael Hanisch
    Pages 282-299

  19. On well-formed nets and optimizations in enabling tests

    • Jean-Michel Ilié, Omar Rojas
    Pages 300-318

  20. Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net

    • Peter Kemper
    Pages 319-338
Back to top

Keywords

About this book

This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, "Modeling and enactment of workflow systems" (C.A. Ellis, G.J. Nutt), "Interleaving functional and performance structural analysis of net models" (M. Silva), and "FSPNs: fluid stochastic Petri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation