In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 206-227. June 1991.
Abstract: The concept of model parametrization is introduced. In particular parametrization of P/T models with respect to the initial marking is formally defined and studied. The modelling power of marking parametric P/T nets extended by the introduction of transition priorities and inhibitor arcs is discussed. Extended nets are shown to have a higher parametrization power with respect to changes of the initial marking than P/T nets even in the bounded case, where they have the same computability power. Moreover some structural analysis results are reinterpreted and systematized in the framework of parametric model analysis.
Keywords: initial marking parametric place/transition net; extended parametric place/transition net; transition priority; inhibitor arc; parametric model analysis.