|
Search the dblp DataBase
Harro Wimmel:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Eike Best, Harro Wimmel
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2000, pp:63-82 [Conf]
- Harro Wimmel
Eliminating Internal Behaviour in Petri Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2004, pp:411-425 [Conf]
- Harro Wimmel
Infinity of Intermediate States Is Decidable for Petri Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2004, pp:426-434 [Conf]
- Harro Wimmel, Lutz Priese
Algebraic Characterization of Petri Net Pomset Semantics. [Citation Graph (0, 0)][DBLP] CONCUR, 1997, pp:406-420 [Conf]
- Lutz Priese, Harro Wimmel
A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:206, n:1-2, pp:219-256 [Journal]
- Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf
Separability in Conflict-Free Petri Nets. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2006, pp:1-18 [Conf]
New Algorithms for Deciding the Siphon-Trap Property. [Citation Graph (, )][DBLP]
The Downward-Closure of Petri Net Languages. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|