Zum Inhalt springen

Priese, Lutz [Verfasser:in]; Wimmel, Harro [Verfasser:in]

Theoretische Informatik : Petri-Netze

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg; New York [u.a.]: Springer, 2003

Erschienen in: Springer-Lehrbuch
Wimmel, Harro [Verfasser:in]

Synthesis of reduced asymmetric choice petri nets

Online ansehen
Schließen

Zugang

... zum Aufsatz (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2019

Erschienen in: Arxiv ; 2019 (22. Nov.), article 1911.09133, Seite 1-27
Schlachter, Uli [Verfasser:in]; Wimmel, Harro [Verfasser:in] ; Uli Schlachter and Harro Wimmel [Mitwirkende:r]

k-Bounded Petri Net Synthesis from Modal Transition Systems

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Schlachter, Uli [Verfasser:in]; Wimmel, Harro [Verfasser:in]

Optimal label splitting for embedding an LTS into an arbitrary petri net reachability graph is NP-complete

Online ansehen
Schließen

Zugang

... zum Aufsatz (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2020

Erschienen in: Arxiv ; 2020 (12. Feb.), article 2002.04841, Seite 1-18
Erofeev, Evgeny [Verfasser:in]; Wimmel, Harro [Verfasser:in]

Reachability graphs of two-transition petri nets

Online ansehen
Schließen

Zugang

... zum Aufsatz (Volltext ; PDF Dokument ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2017

Erschienen in: CEUR workshop proceedings ; 1847(2017), Seite 39-54
Best, Eike [Verfasser:in]; Devillers, Raymond R. [Verfasser:in]; Schlachter, Uli [Verfasser:in]; Wimmel, Harro [Verfasser:in]

Simultaneous Petri Net Synthesis

Online ansehen
Schließen

Zugang

... zum Aufsatz via DOI (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2018

Erschienen in: Scientific annals of computer science ; 28(2018), 2, Seite 199-236
Wimmel, Harro

Presynthesis of bounded choice-free or fork-attribution nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2020

Erschienen in: Information and Computation, 271 (2020), Seite 104482
Wimmel, Harro

Lecture Notes in Computer Science: Eliminating Internal Behaviour in Petri Nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Lecture Notes in Computer Science (2004), Seite 411-425
Wimmel, Harro

Lecture Notes in Computer Science: Infinity of Intermediate States Is Decidable for Petri Nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2004

Erschienen in: Lecture Notes in Computer Science (2004), Seite 426-434
Schlachter, Uli; Wimmel, Harro

Transactions on Petri Nets and Other Models of Concurrency XIV: Relabelling LTS for Petri Net Synthesis via Solving Separation Problems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2019

Erschienen in: Transactions on Petri Nets and Other Models of Concurrency XIV (2019), Seite 222-254
Schlachter, Uli; Wimmel, Harro

Application and Theory of Petri Nets and Concurrency: A Geometric Characterisation of Event/State Separation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen in: Application and Theory of Petri Nets and Concurrency (2018), Seite 99-116
Best, Eike; Wimmel, Harro

Lecture Notes in Computer Science: Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2016

Erschienen in: Lecture Notes in Computer Science (2016), Seite 51-62
Wolf, Karsten; Wimmel, Harro

Applying CEGAR to the Petri Net State Equation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Centre pour la Communication Scientifique Directe (CCSD), 2012

Erschienen in: Logical Methods in Computer Science, Volume 8, Issue 3 (2012)
Best, Eike; Wimmel, Harro

Transactions on Petri Nets and Other Models of Concurrency VII: Structure Theory of Petri Nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Transactions on Petri Nets and Other Models of Concurrency VII (2013), Seite 162-224
Wimmel, Harro; Wolf, Karsten

Applications and Theory of Petri Nets: Finding a Witness Path for Non-liveness in Free-Choice Nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Applications and Theory of Petri Nets (2011), Seite 189-207
Wimmel, Harro; Wolf, Karsten

Tools and Algorithms for the Construction and Analysis of Systems: Applying CEGAR to the Petri Net State Equation

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems (2011), Seite 224-238
Best, Eike; Wimmel, Harro

Lecture Notes in Computer Science: Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2000

Erschienen in: Lecture Notes in Computer Science (2000), Seite 63-82
Wimmel, Harro; Priese, Lutz

CONCUR '97: Concurrency Theory: Algebraic characterization of petri net pomset semantics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1997

Erschienen in: CONCUR '97: Concurrency Theory (1997), Seite 406-420
Priese, Lutz; Wimmel, Harro

A uniform approach to true-concurrency and interleaving semantics for Petri nets

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1998

Erschienen in: Theoretical Computer Science, 206 (1998) 1-2, Seite 219-256
Best, Eike; Hujsa, Thomas; Wimmel, Harro

Sufficient conditions for the marked graph realisability of labelled transition systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2018

Erschienen in: Theoretical Computer Science, 750 (2018), Seite 101-116

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr