M. Siegle. Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties. Shaker Verlag, Aachen, 2002. 293, 297, 298, 300 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Symbolic Performance and Dependability Evaluation with the .. - Kuntz, Siegle, Werner (2004) Self-citation (Siegle) (Correct)
No context found.
M. Siegle. Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties. Shaker Verlag, Aachen, 2002. 293, 297, 298, 300
Symbolic Composition within the Moebius Framework - Lampka, Siegle Self-citation (Siegle) (Correct)
....s2 a s1 t1 # enq deq 0 a action enq, # enq, # enq, # deq, deq, deq, Figure 4: Stochastic LTS and corresponding MTBDD Boolean variable. Note that MTBDD based symbolic encodings of transition systems are also possible in the case where both Markovian and immediate transitions coexist [Sie02] 3.1 MTBDD based representation of vector based SSps The main idea of an MTBDD based representation of vector oriented SSps as realised by Moebius AFI is that each SV will be encoded by its own Boolean vector, i.e. the current value of the associated SV (the marking of a specific place or ....
....Markovian transition is given by #(#, # . However, other synchronisation policies are also possible. In process P 4 , which is the unsynchronised composition of P 1 and P 2 , we can observe the interleaving of two a actions. On the MTBDD level, the operator Sync can be realised as follows [Sie02] Let P 1 and P 2 be two processes to be synchronised over a set S of actions. The corresponding SLTSs are encoded as MTBDD M i over the Boolean vectors (#a, #s i , # t i ) where i 2 . The set S of synchronising transitions is encoded as BDD S over the Boolean vector #a. Furthermore, Stab i ....
[Article contains additional citation context not shown here]
Markus Siegle. Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties. Habilitationsschrift, Institut fur Informatik, FriederichAlexander -Universitat Erlangen-Nurnberg, 2002.
Symbolic Representations and Analysis of Large Probabilistic.. - Miner, Parker (Correct)
No context found.
M. Siegle. Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties. Habilitation thesis, Universitat Erlangen-Nurnberg, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC