On the analysis of Petri nets with static priorities
type: Item
instance of: scholarly article
title: On the analysis of Petri nets with static priorities
zbMATH Open document ID: 0849.68086
author: Falko Bause
published in: Acta Informatica
publication date: 1995-11-16T00:00:00Z
review text: Priority specifications offer a convenient description technique to resolve conflicts in favour of particular actions. Apart from being employed for the specification of the functional behaviour of a system, priorities have also become important in the field of performance analysis using stochastic Petri nets. Here they are implicitly given due to the separation of transitions into immediate and timed. In the performance analysis of such stochastic Petri nets specific properties, like liveness and existence of home states, are of major interest, because they ensure the applicability of a Markovian based analysis. Since several efficient analysis techniques have been developed for Petri nets without priorities, our interest is in using these techniques also for the priority case. This paper shows that positive properties of a net such as liveness and the existence of home states do also hold for the net with static priorities, if a simple condition is imposed on the priority relation.
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68M20
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 814163
zbMATH Keywords: priority specifications
zbMATH Keywords: functional behaviour
zbMATH Keywords: performance analysis
zbMATH Keywords: stochastic Petri nets
zbMATH Keywords: liveness
zbMATH Keywords: existence of home states
zbMATH Keywords: Markovian based analysis
MaRDI profile type: Publication
full work available at URL: s002360050065
OpenAlex ID: W4251986095
DOI: 10.1007/S002360050065
description: scientific article; zbMATH DE number 814163