Performance queries on semi-markov stochastic petri nets with an extended continuous stochastic logic

File(s)

ecsl-pnpm2003.PDF (612.46 KB)

Published version

Show more

Author(s)

Bradley,J.T.

Dingle,N.J.

Harrison,P.G.

Knottenbelt,W.J.

Type

Conference Paper

Date Issued

2003

Citation

2003, pp.62-71

URI

http://hdl.handle.net/10044/1/5751

URL

http://doi.ieeecomputersociety.org/10.1109/PNPM.2003.1231543

ISBN

9780769519760

0-7695-1976-8

ISSN

1063-6714

Publisher

IEEE Computer Soc

Source Title

10th International Workshop on Petri Nets and Performance Models (PNPM 2003)

Conference

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.

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Source

10th international workshop on Petri Nets and performance models (PNPM 2003), Urbana, Illinois

Source Place

URBANA, IL

Place of Publication

Los Alamitos