L
Leif O. Jepsen
Researcher at Aarhus University
Publications - 3
Citations - 165
Leif O. Jepsen is an academic researcher from Aarhus University. The author has contributed to research in topics: Reachability & Petri net. The author has an hindex of 2, co-authored 3 publications receiving 165 citations.
Papers
More filters
Book ChapterDOI
Towards reachability trees for high-level Petri nets
TL;DR: In this paper, the authors proposed a generalization of reachability trees for high-level Petri nets, called HL-trees, which is one of the other important analysis methods known for PT-nets.
Journal ArticleDOI
Reachability trees for high-level petri nets
TL;DR: A generalization of reachability trees is contributed to, which is one of the other important analysis methods known for place/transition nets.
Journal ArticleDOI
Towards Reachability Trees for High-level Petri Nets
TL;DR: The central idea in the paper is the observation, that HL-nets often possess classes of equivalent markings, and an algorithm which constructs the HL-tree, which is considerably smaller than the corresponding PT-trees (reachability trees for the equivalent PT-nets).