For the most recent entries see the Petri Nets Newsletter.

On Parametric P/T Nets and their Modelling Power.

Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Guiliana

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.

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

Back to the Petri Nets Bibliography