Composition and Independence of High-Level Net Processes

  title={Composition and Independence of High-Level Net Processes},
  author={Hartmut Ehrig and Kathrin Hoffmann and Karsten Gabriel and Julia Padberg},
  journal={Electr. Notes Theor. Comput. Sci.},
Based on the notion of processes for low-level Petri nets we analyse in this paper high-level net processes defining the non-sequential behaviour of high-level nets. In contrast to taking low-level processes of the well known flattening construction for high-level nets our concept of high-level net processes preserves the high-level structure. The main results are the composition, equivalence and independence of high-level net processes under suitable conditions. Independence means that they… CONTINUE READING

Similar Papers

Loading similar papers…