Performance evaluation of concurrent systems using Petri nets
type: Item
instance of: scholarly article
title: Performance evaluation of concurrent systems using Petri nets
zbMATH Open document ID: 0533.68062
DOI: 10.1016/0020-0190(84)90067-X
author: Jan Magott
published in: Information Processing Letters
publication date: 1984-01-01T00:00:00Z
review text: The author gives a new lower bound on minimal cycle time (which is better than the pevious one) of a P-invariant timed Petri net. For non-P- invariant Petri nets he shows the existence of equivalent (with respect to minimal cycle time) P-invariant Petri nets.
reviewed by: Wlodzimierz Kwasowiec
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 3846888
zbMATH Keywords: timed marked graphs
zbMATH Keywords: P-invariant nets
zbMATH Keywords: lower bound on minimal cycle time
zbMATH Keywords: timed Petri net
MaRDI profile type: Publication
cites work: Q4198056
cites work: Q3883515
cites work: Q4142699
cites work: Q4197641
cites work: Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance
cites work: Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
cites work: Q4185813
cites work: Applying Formal Methods: Testing, Performance, and M/E-Commerce
full work available at URL: 0020-0190(84)90067-x
OpenAlex ID: W1974229901
description: scientific article; zbMATH DE number 3846888