Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets

This paper introduces the tool Cycl[Formula: see text]n . The core functionality of Cycl[Formula: see text]n is to determine for a transition t of an unbounded Petri net whether or not t stops the net. A transition t stops the net (and is called a stop-transition) if each reachable marking of the ne...

Descripción completa

Detalles Bibliográficos
Autores principales: Desel, Jörg, Finthammer, Marc, Frank, Andrea
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324235/
http://dx.doi.org/10.1007/978-3-030-51831-8_20
_version_ 1783551898452754432
author Desel, Jörg
Finthammer, Marc
Frank, Andrea
author_facet Desel, Jörg
Finthammer, Marc
Frank, Andrea
author_sort Desel, Jörg
collection PubMed
description This paper introduces the tool Cycl[Formula: see text]n . The core functionality of Cycl[Formula: see text]n is to determine for a transition t of an unbounded Petri net whether or not t stops the net. A transition t stops the net (and is called a stop-transition) if each reachable marking of the net enables only finite occurrence sequences without occurrences of t. Cycl[Formula: see text]n provides a graphical user interface which also illustrates the graph structures leading to the computed result. This way, results are explained in a comprehensible manner, and the user gets a visual explanation of the cyclic behavior of the net causing these results.
format Online
Article
Text
id pubmed-7324235
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73242352020-06-30 Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets Desel, Jörg Finthammer, Marc Frank, Andrea Application and Theory of Petri Nets and Concurrency Article This paper introduces the tool Cycl[Formula: see text]n . The core functionality of Cycl[Formula: see text]n is to determine for a transition t of an unbounded Petri net whether or not t stops the net. A transition t stops the net (and is called a stop-transition) if each reachable marking of the net enables only finite occurrence sequences without occurrences of t. Cycl[Formula: see text]n provides a graphical user interface which also illustrates the graph structures leading to the computed result. This way, results are explained in a comprehensible manner, and the user gets a visual explanation of the cyclic behavior of the net causing these results. 2020-06-02 /pmc/articles/PMC7324235/ http://dx.doi.org/10.1007/978-3-030-51831-8_20 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Desel, Jörg
Finthammer, Marc
Frank, Andrea
Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets
title Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets
title_full Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets
title_fullStr Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets
title_full_unstemmed Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets
title_short Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets
title_sort cycl[formula: see text]n – a tool for determining stop-transitions of petri nets
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324235/
http://dx.doi.org/10.1007/978-3-030-51831-8_20
work_keys_str_mv AT deseljorg cyclformulaseetextnatoolfordeterminingstoptransitionsofpetrinets
AT finthammermarc cyclformulaseetextnatoolfordeterminingstoptransitionsofpetrinets
AT frankandrea cyclformulaseetextnatoolfordeterminingstoptransitionsofpetrinets

Ejemplares similares