Zobrazeno 1 - 10 of 11 pro vyhledávání: '"Joachim Wehler"'
1
Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions
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
Zobrazit plný text záznamu
2
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems
Autor: Joachim Wehler
Publikováno v: Fundamenta Informaticae. 98:283-320
Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system has an underlying ordinary Petri net, a T-system. It further has a secon
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::583b97dae7da72e1907dea2410b629d0
https://doi.org/10.3233/fi-2010-228
Zobrazit plný text záznamu
3
Petri Net Theory — Problems Solved by Commutative Algebra
Autor: Christoph Schneider, Joachim Wehler
Publikováno v: Lecture Notes in Computer Science ISBN: 9783540661320
ICATPN
The paper deals with the computation of flows in coloured nets and with the potential reachability of markings over the integers in p/t nets. We introduce Artin nets as a subclass of coloured nets, which can be handled by methods from Commutative Alg
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::345391b542e191ed086b9c4240094c6f
https://doi.org/10.1007/3-540-48745-x_15
Zobrazit plný text záznamu
4
Petri Net Based Certification of Event-Driven Process Chains
Autor: Peter Langner, Christoph Schneider, Joachim Wehler
Publikováno v: Application and Theory of Petri Nets 1998 ISBN: 9783540646778
ICATPN
One of the widespread methods for modeling business processes is the method of event-driven process chains (EPCs) (Ereignisgesteuerte Prozesskette [EPK]). The paper shows that EPCs can be translated into a simple class of colored Petri nets, which ha
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5f833000d83414c4f5eef27d002724c6
https://doi.org/10.1007/3-540-69108-1_16
Zobrazit plný text záznamu
6
Cyclic coverings: Deformation and Torelli theorem
Autor: Joachim Wehler
Publikováno v: Mathematische Annalen. 274:443-472
0.1. In 1968 Wavrik [20] studied cyclic branched coverings of compact complex manifolds. He obtained a criterion that every small deformation of the total space is again a covering of the base. Then he applied his result to the case of cyclic coverin
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::eb2392ecb4236f10f770063a4269a110
https://doi.org/10.1007/bf01457228
Zobrazit plný text záznamu
10
Deformation of varieties defined by sections in homogeneous vector bundles
Autor: Joachim Wehler
Publikováno v: Mathematische Annalen. 268:519-532
In the present paper we prove some generalizations of a theorem of K. Kodaira and D. Spencer. They showed in 1958 that any smooth, projective algebraic hypersurface which is not a K3 surface remains projective algebraic under small deformation. In a
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1a44ef2abf0d15e2d41f284fcebeca73
https://doi.org/10.1007/bf01451856
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje