IDEAS home Printed from https://ideas.repec.org/a/taf/nmcmxx/v15y2008i1p69-82.html
   My bibliography  Save this article

Removing dead transitions in timed-arc Petri nets

Author

Listed:
  • Valentín Valero
  • Hermenegilda Macià

Abstract

Timed-arc Petri nets (TAPNs) are a timed extension of Petri nets where tokens are assigned an age indicating the time elapsed from its creation, and PT-arcs (place to transition arcs) are labelled with time intervals that are used to restrict the age of the tokens that can be used to fire the adjacent transition. This is a rather pathological model, as reachability is undecidable, whereas some other known properties of Petri nets, like boundedness, coverability and even termination, are decidable. This article focuses on the problem of detecting dead transitions, i.e. transitions that can be removed from the model since they can never become enabled. We prove that this problem is decidable for TAPNs with natural times, and we present an algorithm that can be used to find dead transitions in the particular case of 1-safe TAPNs.

Suggested Citation

  • Valentín Valero & Hermenegilda Macià, 2008. "Removing dead transitions in timed-arc Petri nets," Mathematical and Computer Modelling of Dynamical Systems, Taylor & Francis Journals, vol. 15(1), pages 69-82, August.
    • Handle: RePEc:taf:nmcmxx:v:15:y:2008:i:1:p:69-82
    DOI: 10.1080/13873950802416332
    as

    Download full text from publisher

    File URL: http://hdl.handle.net/10.1080/13873950802416332
    Download Restriction: Access to full text is restricted to subscribers.
    File URL: https://libkey.io/10.1080/13873950802416332?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    More about this item

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:taf:nmcmxx:v:15:y:2008:i:1:p:69-82. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Chris Longhurst (email available below). General contact details of provider: http://www.tandfonline.com/NMCM20 .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.