Suche in der Hochschulbibliografie

Suche nach: Person (Universität Oldenburg) = 'Wimmel, Harro ((DE-588)17336621X)'

Treffer 1-10 von 23

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA5127296781000350149GBVUOB_ALMA51272967810003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272967810003501
Artikel
Optimal label splitting for embedding an LTS into an arbitrary petri net reachability graph is NP-complete
von Uli Schlachter ; Harro Wimmel
2020
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wimmel, HarroSchlachter, Uli
Enthalten in: Arxiv Ithaca, NY : Cornell University, 1991 2020 (12. Feb.), article 2002.04841, Seite 1-18 Online-Ressource
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA5130609669000350149GBVUOB_ALMA51306096690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51306096690003501
Artikel
Target-oriented petri net synthesis
von Eike Best ; Raymond Devillers ; Evgeny Erofeev ; Harro Wimmel
2020
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Erofeev, EvgenyWimmel, HarroBest, Eike
Umfang: Diagramme.
Enthalten in: Fundamenta informaticae Amsterdam [u.a.] : IOS Press, 1994 175(2020), 1/4, Seite 97-122 Online-Ressource
Sprache: Englisch
>> Volltext
3
49GBVUOB_ALMA5127298826000350149GBVUOB_ALMA51272988260003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272988260003501
Artikel
Presynthesis of bounded choice-free or fork-attribution nets
von Harro Wimmel
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wimmel, Harro
Umfang: 34.
Enthalten in: Information and computation Amsterdam : Elsevier, 1987 Volume 271 (2019), article 104482, insgesamt 34 Seiten Online-Ressource
Sprache: Englisch
>> Volltext
4
49GBVUOB_ALMA5127296784000350149GBVUOB_ALMA51272967840003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272967840003501
Artikel
Synthesis of reduced asymmetric choice petri nets
von Harro Wimmel
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wimmel, Harro
Enthalten in: Arxiv Ithaca, NY : Cornell University, 1991 2019 (22. Nov.), article 1911.09133, Seite 1-27 Online-Ressource
Sprache: Englisch
>> Volltext
5
49GBVUOB_ALMA5127299864000350149GBVUOB_ALMA51272998640003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272998640003501
Artikel
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems
von Uli Schlachter ; Harro Wimmel
2019
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wimmel, HarroSchlachter, Uli
Umfang: Diagramme.
Enthalten in: Transactions on Petri Nets and Other Models of Concurrency XIV 1st ed. 2019 Berlin, Heidelberg : Springer, 2019 (2019), Seite 222-254 1 Online-Ressource (XVII, 255 p. 525 illus., 42 illus. in color)
Sprache: Englisch
>> Volltext
6
49GBVUOB_ALMA5127296802000350149GBVUOB_ALMA51272968020003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272968020003501
Artikel
A Geometric Characterisation of Event/State Separation
von Uli Schlachter ; Harro Wimmel
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wimmel, HarroSchlachter, Uli
Enthalten in: Application and Theory of Petri Nets and Concurrency Cham : Springer, 2018 (2018), Seite 99-116 Online-Ressource (XI, 427 p. 124 illus, online resource)
Sprache: Englisch
>> Volltext
7
49GBVUOB_ALMA5127298800000350149GBVUOB_ALMA51272988000003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272988000003501
Artikel
Sufficient conditions for the marked graph realisability of labelled transition systems
von Eike Best ; Thomas Hujsa ; Harro Wimmel
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Hujsa, ThomasWimmel, HarroBest, Eike
Enthalten in: Theoretical computer science Amsterdam [u.a.] : Elsevier, 1975 750(2018), Seite 101-116 Online-Ressource
Sprache: Englisch
>> Volltext
8
49GBVUOB_ALMA5127298812000350149GBVUOB_ALMA51272988120003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51272988120003501
Artikel
Simultaneous Petri Net Synthesis
von Eike Best ; Raymond R. Devillers ; Uli Schlachter ; Harro Wimmel
2018
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Schlachter, UliWimmel, HarroBest, Eike
Enthalten in: Scientific annals of computer science Iaşi : Univ. Press, 1992 28(2018), 2, Seite 199-236 Online-Ressource
Sprache: Englisch
>> Volltext
9
49GBVUOB_ALMA5123043356000350149GBVUOB_ALMA51230433560003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51230433560003501
Artikel
k-bounded petri net synthesis from modal transition systems
von Uli Schlachter ; Harro Wimmel
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wimmel, HarroSchlachter, Uli
Umfang: 15.
Enthalten in: CONCUR (28. : 2017 : Berlin) 28th International Conference on Concurrency Theory Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2017 (2017), Artikel Nr. 6, insges. 15 S. 1 Online-Ressource
Sprache: Englisch
>> Volltext
10
49GBVUOB_ALMA5123043388000350149GBVUOB_ALMA51230433880003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA51230433880003501
Artikel
Reachability graphs of two-transition petri nets
von Evgeny Erofeev ; Harro Wimmel
2017
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Wimmel, HarroErofeev, Evgeny
Enthalten in: CEUR workshop proceedings Aachen, Germany : RWTH Aachen, 1995 1847(2017), Seite 39-54
Sprache: Englisch
>> Volltext