Zobrazeno 1 - 10
of 126
pro vyhledávání: '"Jörg Desel"'
Publikováno v:
Datenbank-Spektrum. 22:73-77
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7ad0cb1a3b689a5ea491dc5c57213c08
https://doi.org/10.1007/s13222-022-00411-4
https://doi.org/10.1007/s13222-022-00411-4
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783031336195
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::452e7d848a708fea95e489db4fad6bf2
https://doi.org/10.1007/978-3-031-33620-1_4
https://doi.org/10.1007/978-3-031-33620-1_4
Autor:
Jörg Desel, Marc Finthammer
Publikováno v:
Fundamenta Informaticae. 175:143-172
A transition t stops a place/transition Petri net if each reachable marking of the net enables only finite occurrence sequences without occurrences of t (i.e., every infinite occurrence sequence enabled at this marking contains occurrences of t). Rou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19b66ce4a1192495022d369f93b2e266
https://doi.org/10.3233/fi-2020-1951
https://doi.org/10.3233/fi-2020-1951
Publikováno v:
IFIP Advances in Information and Communication Technology ISBN: 9783030979850
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1be4cb4960cec015b25e2b106221e561
https://doi.org/10.1007/978-3-030-97986-7_19
https://doi.org/10.1007/978-3-030-97986-7_19
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783030518301
Petri Nets
Petri Nets
This paper introduces the tool Cycl\(\mathbf {\circlearrowright }\)n . The core functionality of Cycl\(\mathbf {\circlearrowright }\)n is to determine for a transition t of an unbounded Petri net whether or not t stops the net. A transition t stops t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11eff0b3aa8cc0bcca8d8e88ff26e6c8
https://doi.org/10.1007/978-3-030-51831-8_20
https://doi.org/10.1007/978-3-030-51831-8_20
Autor:
Jörg Desel
Publikováno v:
Carl Adam Petri: Ideas, Personality, Impact ISBN: 9783319961538
Carl Adam Petri: Ideas, Personality, Impact
Carl Adam Petri: Ideas, Personality, Impact
The author collects thoughts and findings of Carl Adam Petri on the concept of synchronic distance in Petri nets. The sources include early papers of Petri, papers reporting on discussions between the author and Petri, and the author’s own recollec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3717b8eae987d099cfe5c7f2cb19f89
https://doi.org/10.1007/978-3-319-96154-5_16
https://doi.org/10.1007/978-3-319-96154-5_16
Publikováno v:
Informatik-Spektrum. 38:277-282
Die Gestaltung des zukunftigen Internets gehort zu den grosen aktuellen Herausforderungen der Wissenschaft und insbesondere der Informatik. Bereits heute ist das Internet die wichtigste weltweite Kommunikationsinfrastruktur, seine Konzepte wurden abe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c079a261c7b9fc196432f5fac34871c
https://doi.org/10.1007/s00287-015-0899-4
https://doi.org/10.1007/s00287-015-0899-4
Publikováno v:
Application and Theory of Petri Nets and Concurrency ISBN: 9783319578606
Petri Nets
Petri Nets
This paper introduces the online tool travis. The main application of travis is the synthesis and the analysis of Petri net models with final states. Using travis we can load or specify a labeled transition system and toggle an arbitrary set of state
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c13bb57741105965e28970760748c86c
https://doi.org/10.1007/978-3-319-57861-3_7
https://doi.org/10.1007/978-3-319-57861-3_7
Autor:
Jörg Desel, Wolfgang Reisig
Publikováno v:
Software & Systems Modeling. 14:669-683
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::880c006f0b659402d536c0e57b9c1900
https://doi.org/10.1007/s10270-014-0423-3
https://doi.org/10.1007/s10270-014-0423-3
This paper introduces negotiations, a model of concurrency close to Petri nets, with multi-party negotiations as concurrency primitive. We study two fundamental analysis problems. The soundness problem consists in deciding if it is always possible fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7131a89253a40c96e2036faf5be26ec8
http://arxiv.org/abs/1612.07912
http://arxiv.org/abs/1612.07912