Arne M. Jensen

Publication Activity (10 Years)

Years Active: 1984-1986
Publications (10 Years): 0

Publications

Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
Reachability Trees for High-level Petri Nets. Theor. Comput. Sci. 45 (3) (1986)
Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
Towards reachability trees for high-level Petri nets. European Workshop on Applications and Theory in Petri Nets (1984)