Net model composition and modification by net operations: a pragmatic approach

@article{Barros2004NetMC,
  title={Net model composition and modification by net operations: a pragmatic approach},
  author={J. P. Barros and Lu{\'i}s Gomes},
  journal={2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004},
  year={2004},
  pages={309-314}
}
Different tools often implement a single Petri net refinement or composition concept in different ways. This situation is undesirable from an engineering point of view. Here, we present a set of operations on nets based on the concepts of net instances and fusion sets, supporting the specification of net structure's abstractions and net model transformations in an integrated and generic way. The operations are illustrated by composing a net model for a medium-sized control system. The same… CONTINUE READING
Highly Cited
This paper has 35 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 25 extracted citations

Similar Papers

Loading similar papers…