For the most recent entries see the Petri Nets Newsletter.

Diamond Properties of State Spaces of Elementary Net Systems.

Hoogeboom, H.J.; Rozenberg, G.

Report 89--18, pages 1-21 pp.. Rijksuniversiteit te Leiden (The Netherlands), Vakgroep Informatica, December 1989.

Also in: Fundamenta Informaticae, Vol. XIV, pages 287-300. 1991.

Abstract: The state space of an elementary net system is formalized through the notion of the case graph, which is an edge-labeled graph with a distinguished initial node. The paper investigates syntactic, ie graph-theoretic properties of case graphs of elementary net systems. In particular it studies the structure of isomorphisms between case graphs.

Keywords: diamond property (of) state space (of) elementary net system; isomorphism (between) case graph(s).

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography