Zobrazeno 1 - 10
of 1 033
pro vyhledávání: '"Free-choice Petri nets"'
Autor:
Wehler, Joachim
Publikováno v:
Fundamenta Informaticae, Volume 182, Issue 4 (November 18, 2021) fi:8512
Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-subnets. The resulting T-systems are investigated by elementary methods
Externí odkaz:
http://arxiv.org/abs/2109.10002
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Wehler, Joachim
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modeling the control flow of discrete, dynamical systems. Every BP-system has an underlying ordinary Petri net, which is a T-system. Moreover, it
Externí odkaz:
http://arxiv.org/abs/cs/0609095
Autor:
Joachim Wehler
Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-subnets. The resulting T-systems are investigated by elementary methods
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f01b61fd3914dfdefc58eebae711e8a7
http://arxiv.org/abs/2109.10002
http://arxiv.org/abs/2109.10002
Autor:
Flochova, Jana, Boel, Rene K.
Publikováno v:
In IFAC Proceedings Volumes 2009 42(8):1390-1395
Publikováno v:
2022 25th Euromicro Conference on Digital System Design (DSD).
Petri nets and transition systems are two important formalisms used for modeling concurrent systems. One interesting problem in this domain is the creation of a Petri net with a reachability graph equivalent to a given transition system. This paper f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afe400ab455304dff5d8285ac0818d15
https://doi.org/10.1109/dsd57027.2022.00031
https://doi.org/10.1109/dsd57027.2022.00031
Autor:
Dixit, Prabhakar M., Verbeek, H. M.W., van der Aalst, Wil M.P., Ölveczky, Peter Csaba, Bae, Kyungmin
Publikováno v:
Formal Aspects of Component Software-15th International Conference, FACS 2018, Proceedings, 97-117
STARTPAGE=97;ENDPAGE=117;TITLE=Formal Aspects of Component Software-15th International Conference, FACS 2018, Proceedings
Formal Aspects of Component Software ISBN: 9783030021450
FACS
STARTPAGE=97;ENDPAGE=117;TITLE=Formal Aspects of Component Software-15th International Conference, FACS 2018, Proceedings
Formal Aspects of Component Software ISBN: 9783030021450
FACS
In this paper, we propose a novel approach that calculates all the possible applications of synthesis rules, for well-formed free-choice Petri nets [8], in a speedy way to enable an interactive editing system. The proposed approach uses a so-called i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4d60b60241e50fddc0df5c9fb033e556
https://research.tue.nl/nl/publications/bdaccb73-a155-4cfc-ae66-80c6cbeb72c3
https://research.tue.nl/nl/publications/bdaccb73-a155-4cfc-ae66-80c6cbeb72c3
Autor:
Wehler, Joachim1 joachim.wehler@gmx.net
Publikováno v:
Fundamenta Informaticae. 2010, Vol. 98 Issue 2-3, p283-320. 38p. 21 Diagrams.