Towards reachability trees for high-level Petri nets

• Authors:

• Peter Huber;Arne M. Jensen;Leif O. Jepsen;Kurt Jensen

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers
• Year:
• 1985