Automated construction of compound Markov chains from generalized stochastic high-level Petri nets
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/20057
Tipus de documentText en actes de congrés
Data publicació1989
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
A new type of Petri nets: Generalized Stochastic High-Level Petri nets (GSHLPN’s), collecting the qualities of GSPN’s and SHLPN’s, is presented. The automated construction of compound continuous-time Markov chains (CTMC’s) from GSHLPN’s is also considered. A formalism for the description of compound markings allowing a symbolic firing of the net to obtain a compound CTMC with correct state grouping is derived. The construction of the compound CTMC requires an algorithm to test the equivalence of compound markings. It is shown that, in the general case and for bounded number of rotation groups, the problem is polynomially equivalent to GRAPH ISOMORPHISM, a problem whose classification in the NP world is currently open.
CitacióCarrasco, J. Automated construction of compound Markov chains from generalized stochastic high-level Petri nets. A: 3rd. IEEE Int. Workshop on Petri Nets and Performance Models. "Proc. 3rd IEEE Int. Workshop on Petri Nets and Performance Models". 1989, p. 93-103.
Col·leccions
- QINE - Disseny de Baix Consum, Test, Verificació i Tolerància a Fallades - Ponències/Comunicacions de congressos [60]
- QINE - Disseny de Baix Consum, Test, Verificació i Circuits Integrats de Seguretat - Ponències/Comunicacions de congressos [78]
- Departament d'Enginyeria Electrònica - Ponències/Comunicacions de congressos [1.713]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
IEEE_PNPM_89.pdf | 2,495Mb | Visualitza/Obre |