Jump to content

Prioritised Petri net

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by FrescoBot (talk | contribs) at 07:32, 17 July 2019 (Bot: link syntax and minor changes). The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

A Prioritised Petri net is a structure (PN, Π) where PN is a Petri net and Π is a priority function that maps transitions into non-negative natural numbers representing their priority level[1]

The enabled transitions with a given priority k always fire before any other enabled transition with priority j<k.

References[edit]

  1. ^ Gianfranco Balbo, "Introduction to Stochastic Petri Nets p. 101", Dipartimento di Informatica, Italy

Sources[edit]

  • B. Hruz, M.C.Zhou, "Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tool", Advanced Control and signal processing, Springer, 2007