title: A Coloured Petri Net approach to model and analyze safety-critical interactive systems

authors: Jaidka, Sapna

subjects: Science & Technology

abstract: To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We present a technique to construct a single Coloured Petri Net model of the user interface, interaction and functionality of safety-critical interactive systems and then analyze the achieved Coloured Petri Net model using a state space analysis method. There are several reasons for using Coloured Petri Nets. Coloured Petri Nets provides a graphical representation and hierarchical structuring mechanism, and a state space verification technique, which allows querying the state space to investigate behaviours of a system. There are several tools that supports Coloured Petri Nets including the CPN Tool which helps in building CPN models and allows simulation and analysis using state spaces. The technique to model and analyze safety-critical interactive systems is illustrated using a simplified infusion pump example.

text: A Coloured Petri Net approach to model and analyze safety-critical interactive systems To gain confidence in safety-critical interactive systems, formal modelling and analysis plays a vital role. The aim of this paper is to use Coloured Petri Nets to model and analyze safety-critical interactive systems. We present a technique to construct a single Coloured Petri Net model of the user interface, interaction and functionality of safety-critical interactive systems and then analyze the achieved Coloured Petri Net model using a state space analysis method. There are several reasons for using Coloured Petri Nets. Coloured Petri Nets provides a graphical representation and hierarchical structuring mechanism, and a state space verification technique, which allows querying the state space to investigate behaviours of a system. There are several tools that supports Coloured Petri Nets including the CPN Tool which helps in building CPN models and allows simulation and analysis using state spaces. The technique to model and analyze safety-critical interactive systems is illustrated using a simplified infusion pump example.

year: 2019

title: The return to initial public offerings: A Sino-Indian comparison

authors: Locke, Stuart

subjects: IPO returns

abstract: The ability of entrepreneurs and other promoters of start-up businesses to exit through an initial public offering is an important component of a mature capital market. The returns on initial public offerings (IPOs) on the Shanghai and Bombay stock exchanges over a 14-year period to May 2007 are analysed in this paper. Consideration is given to the medium to longer-term returns accruing to the new listings. The focus is not on initial subscribers' gains or losses on listing but rather on the extent to which new listings continue and generate at least normal returns. The two emerging economies considered have differing political, legal and economic systems and exhibit significantly different return patterns.

text: The return to initial public offerings: A Sino-Indian comparison The ability of entrepreneurs and other promoters of start-up businesses to exit through an initial public offering is an important component of a mature capital market. The returns on initial public offerings (IPOs) on the Shanghai and Bombay stock exchanges over a 14-year period to May 2007 are analysed in this paper. Consideration is given to the medium to longer-term returns accruing to the new listings. The focus is not on initial subscribers' gains or losses on listing but rather on the extent to which new listings continue and generate at least normal returns. The two emerging economies considered have differing political, legal and economic systems and exhibit significantly different return patterns.

year: 2009

title: An analysis of the rhetorical organisation of selected authentic Maori texts belonging to the text-types argument and information report

authors: Houia-Roberts, Ngaere

subjects: Te reo Māori

abstract: I report here on the findings of an analysis of the overall rhetorical structure of authentic Māori texts belonging to two different text-types – argument and information report – which were written by highly competent users of the language. I also suggest ways in which this type of analysis could underpin the development of teaching resources designed for Māori-medium educational settings.

text: An analysis of the rhetorical organisation of selected authentic Maori texts belonging to the text-types argument and information report I report here on the findings of an analysis of the overall rhetorical structure of authentic Māori texts belonging to two different text-types – argument and information report – which were written by highly competent users of the language. I also suggest ways in which this type of analysis could underpin the development of teaching resources designed for Māori-medium educational settings.

year: 2004