The angles between SSC and the midpoint of the IAC (F) (Figure 6) and SSC to the sulcus of the GSPN (G) (Figure 7) were measured.
The House Method consists of tracing the GSPN to find the facial nerve and the fundus of IAC .
Wigand technique finds the IAC by bisecting the angle between GSPN and SSC instead of AE .
On the basis of establishing the AADL reliability model, we use the GSPN
(general stochastic Petri net)  to analyze and compute the availability of the display function under the steady states.
In the rest of this paper we discuss the transformation of GSPN in order to reduce model's state space.
We will first transform the GSPN model of a manufacturing cell in Fig.
The GSPN model of a serial processing system composed by n machines [M.sub.i] (1 [less than or equal to] i [less than or equal to] n) is shown in Fig.
The anterior two pairs of perikarya projected fine axons ipsilaterally and contralaterally along the GSPN, whilst the posterior pair projected axons ipsilaterally towards the GSPN, with a fine, posteriorly directed branch [ILLUSTRATION FOR FIGURE 3 OMITTED].
The neuronal system, consisting of a single pair of large cells projecting axons along the GSPN, was extremely prominent.
revisited: simple semantics and new analysis algorithms," in Proceedings of the International Conference on Application of Concurrency to System Design, pp.
-- Generalized Stochastic Petri-nets (GSPNs) [Donatelli et al.
Use of GSPNs for concurrent software validation in EPOCA.