This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets
May 1987 (vol. 13 no. 5)
pp. 578-581
ASCII Text
x 
 
J. Magott, "New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets," IEEE Transactions on Software Engineering, vol. 13, no. 5, pp. 578-581, May, 1987.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1987.233462,
author = {J. Magott},
title = {New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets},
journal ={IEEE Transactions on Software Engineering},
volume = {13},
number = {5},
issn = {0098-5589},
year = {1987},
pages = {578-581},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233462},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets
IS - 5
SN - 0098-5589
SP578
EP581
EPD - 578-581
A1 - J. Magott,
PY - 1987
KW - timed Petri net
KW - Computational complexity
KW - free-choice net
KW - minimal cycle time
KW - non-P-invariant Petri net
KW - performance evaluation
VL - 13
JA - IEEE Transactions on Software Engineering
ER -
 
J. Magott, Institute of Engineering Cybernetics, Technical University of Wroclaw
Timed Petri nets are useful in performance evaluation of concurrent systems. The maximum computation rate is achieved for minimal cycle time of timed Petri net. It is known that minimal cycle time problem for P-invariant Petri nets is NP-complete. In this paper we prove that the minimal cycle time problem, for non-P-invariant Petri nets and for a small subclass of P-invariant Petri nets called free-choice nets having live and safe marking, is NP-complete.
Index Terms:
timed Petri net, Computational complexity, free-choice net, minimal cycle time, non-P-invariant Petri net, performance evaluation
Citation:
J. Magott, "New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets," IEEE Transactions on Software Engineering, vol. 13, no. 5, pp. 578-581, May 1987, doi:10.1109/TSE.1987.233462
Usage of this product signifies your acceptance of the Terms of Use.