Performance queries on Semi-Markov Stochastic Petri nets with an extended continuous Stochastic logic

Title:	Performance queries on Semi-Markov Stochastic Petri nets with an extended continuous Stochastic logic
Authors:	Bradley, JT Dingle, NJ Harrison, PG Knottenbelt, WJ
Item Type:	Conference Paper
Issue Date:	1-Jan-2003
URI:	http://hdl.handle.net/10044/1/5751
Publisher Link:	http://doi.ieeecomputersociety.org/10.1109/PNPM.2003.1231543
ISBN:	0-7695-1976-8
ISSN:	1063-6714
Publisher:	IEEE COMPUTER SOC
Presented At:	10th International Workshop on Petri Nets and Performance Models (PNPM 2003)
Published Proceedings:	10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS
Start Page:	62
End Page:	71
Copyright Statement:	© 2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Conference Location:	URBANA, IL
Appears in Collections:	High Performance Informatics