Hardwareand Petri nets

... the station bar contains only the electrical state. That because we decided to not consider the bus breaking. Reliability Analysis of Power System based on Generalized Stochastic Petri Nets Juliano ... we present a formal model based on Generalized Stochastic Petri Nets (GPSN) for the reliability analysis of transmission power systems. II. G ENERALIZE...

Ngày tải lên: 03/01/2014, 19:35

... by Peter J. Haas Stochastic Petri Nets Modelling, Stability, Simulation With 71 Illustrations xii Contents 3 The Marking Process 69 3.1 Definition of the Marking Process 70 3.1.1 General State-Space ... transition e 3 fires, it removes a token from place d 2 and deposits Stochastic Petri Nets: Modelling, Stability, Simulation Peter J. Haas Springer 76 3. The Marking Proc...

Ngày tải lên: 08/04/2014, 12:26

... networks). 2 Petri Nets: Applications Edited by Pawel Pawlewski In-Tech intechweb.org Petri Nets: Applications1 8 ∃ f ile1, f ile2, x owner ( f ile1) = x ∧ owner( f ile2) = x ∧ ln( f ile2, file1) ∧ execute( ... Categories AIFSN CW min CW max TXOP Limit AC_BK 7 15 10 23 1 frame AC_BE 3 15 10 23 1 frame AC_VI 2 7 15 3 ms AC_VO 2 3 7 1. 5 ms Table 1. Parameters for t...

Ngày tải lên: 21/06/2014, 11:20

... a in .b in a 12 b 21 b 12 a 21 c 22 a 12 b 21 c 12 c 21 b 22 a 22 b 22 a 22 c 22 c 22 c 11 a 11 b 11 c 11 b 11 a 11 b 11 a 11 c 11 t 1 t 2 a 21 b 12 c 21 c 12 t 3 ... c 21 c 12 c 22 a 12 a 22 a 21 t 1 t 2 t 3 t 4 0 0 0 0 b 11 b 21 b 12 b 22 a 11 c 11 a 12 b 11 b 21 b 12 b...

Ngày tải lên: 21/06/2014, 11:20

... stochastic Petri Nets in the SoC communication domain, Journal of VLSI Signal Processing, Vol. 43, pp. 2 23- 233 , ISSN 0922-57 73, Springer. Cortés, L.A. ; Eles, P. & Peng, Z. (20 03) , Modeling ... stochastic Petri Nets in the SoC communication domain, Journal of VLSI Signal Processing, Vol. 43, pp. 2 23- 233 , ISSN 0922-57 73, Springer. Cortés, L.A. ; Eles, P. & Peng, Z...

Ngày tải lên: 21/06/2014, 11:20

... the same time. Petri Nets: Applications2 54 Numerical Petri Nets (Billington et al., 1988), PROT Nets (Bruno & Marchetto, 1986), Evaluative Petri Nets (Hudák, 1980) and TER Nets (Ghezzi et ... Numerical Petri Nets (Billington et al., 1988), PROT Nets (Bruno & Marchetto, 1986), Evaluative Petri Nets (Hudák, 1980) and TER Nets (Ghezzi et al., 1991). 2. R...

Ngày tải lên: 21/06/2014, 11:20

... S. (20 08) . Analysis of B-machine based on Petri Nets, Proceedings of CSE 20 08, pp. 24-33, ISBN 9 78- 80 -80 86-092-9, Stará Lesná, Slovakia, September 20 08, elfa s.r.o, Košice Petri Nets: Applications2 90 input ... vol.3631 pp. 183 -1 98, ISBN: 9 78- 3-540- 285 85-4, Talin, Estonia, September 2005, ISBN 3-540- 285 85-7, Springer Verlag, Berlin-Heidelberg Korečko, Š. (2006) Integr...

Ngày tải lên: 21/06/2014, 11:20

... implementation of Petri nets is a pioneer in its application in the field of UAVs; there are no references which cite the work of Petri nets applied to the UAS. 3. Petri Nets Petri Nets (PN) are ... implementation of Petri nets is a pioneer in its application in the field of UAVs; there are no references which cite the work of Petri nets applied to the UAS. 3....

Ngày tải lên: 21/06/2014, 11:20

... 2009). 2. Modeling with Petri nets Petri nets have been proposed by C. A. Petri in 1962 in his PhD thesis “Communications with Automata” (Petri, 1966). Petri nets are a mathematical and ... A5 A11 A12 A21 A22 A23 A24 A31 A32 A41 A42 A43 A44 A45 A51 A52 A 111 A112 A221 A222 A241 A242 A321 A322 A323 A 311 A312 A313 A314 Petri Nets...

Ngày tải lên: 21/06/2014, 11:20

... process to be implemented. Petri Nets: Applications4 70 Ciufudean, C.; Filote, C.; Popescu, D. (2006). Worflows in Constructions Modelled with Stochastic Artificial Petri Nets, The 23 rd International ... W 2 (s) t 1   W 1 ( s ) P 1 Petri Nets: Applications4 48 complexity of SPNs, section 6 presents unbiased estimators for general stochastic Petri nets, section...

Ngày tải lên: 21/06/2014, 11:20

... system with Petri nets for induction motor fault diagnosis, Expert Systems with applications, Vol 27, August 1994,pp. 301 – 311, ISSN: 0957-4174. Petri Nets: Applications5 34 Fig. 5. Petri ... This new marking is computed as: Petri Nets: Applications5 14 (a) (b) (c) Fig. 13. a) Interpreted Petri Net System C, b) A subnet of Interpreted Petri Net System C, c) S...

Ngày tải lên: 21/06/2014, 11:20

... (15) k j SN (τ) = k j IS (τ)ζ j,SN (τ), (16) k j SE (τ) = k j IS (τ)ζ j,SE (τ). (17) Petri Nets: Applications6 26 Modelling with automata respectively Petri Nets, as well as the model type choosing ... labelled Petri Net type, the structural and behaviour analysis being made using the PetriNets Toolbox from Matlab. In order that the obtained results from the analysis of the model of...

Ngày tải lên: 21/06/2014, 11:20

... 2009). 2. Modeling with Petri nets Petri nets have been proposed by C. A. Petri in 1962 in his PhD thesis “Communications with Automata” (Petri, 1966). Petri nets are a mathematical and ... our High-Level Petri Nets In this subsection we will give a brief definition on the desired high-level Petri nets. This definition is not far from the definition of colored Petr...

Ngày tải lên: 27/06/2014, 01:20

... 29: 5-28. Jensen, K. (1992). Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use Springer-Verlag. Jensen, K. (1997). Coloured Petri Nets Basic Concepts, Analysis Methods ... Proceedings of the 2002 ACM symposium on Applied computing, Madrid, Spain, ACM Press. Petri Nets: Applications46 Petri Nets: Applications10 Fig. 7. Jitter for AC_VO and AC_VI. 6...

Ngày tải lên: 27/06/2014, 01:20

... stochastic Petri nets, ACM Trans. Comput. Syst. Vol. 2, pp. 93-122, May 1984. • M. A. Marsan, A. Bobbio, and S. Donatelli. Petri nets in performance analysis: an introduction, In: Lectures on Petri nets ... bib references • A.V. Yakovlev, A.M.Koelmans. Petri nets and digital hardware design, Lectures on Petri nets II: Applications, Advances in Petri Nets, LNCS vol. 14...

Ngày tải lên: 02/07/2014, 12:55