Peterson J. L.: Petri Net and the Modelling of Systems, Prentice Hall (USA), 1981.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....whole system is made up from the local states of every place. Every local change changes the system global state without affection the behaviour of independent parts of the system. The usefulness of Petri nets in modelling and simulation has been discussed in many papers and books, e. g [ ###] PET 81] Many times the advantage of graphical representation of the Petri nets has been mentioned. There is an easy way, how to include the encapsulation of subsystems into a bigger system in Petri nets. This concept is formulated as hierarchical Petri nets. Many systems in t Busy jobber Jobber ....

....systems in t Busy jobber Jobber Jobber Mallet t t t Busy jobber Mallet in use [getm, getm] getm, getm] putm, putm] putm, putm] the real world are on this basis. Hierarchy is another concept, which can be found in the nature. To the theory of Petri nets were devoted many books, e.g. PET 81] 4.#Modelling power For modelling purposes, the question of modelling power of a chosen model is important. The long time of investigation revealed the answer to this problem in both cases, for CCS and also for Petri nets. In the case of Petri nets, the modelling power of C E Petri nets is ....

[Article contains additional citation context not shown here]

Peterson J. L.: Petri Net and the Modelling of Systems, Prentice Hall (USA), 1981.

....nets (methods nets and object nets) are processes communicating via message passing and shared placed. Formal nature of the Object Oriented Petri nets will allow (as we hope) to develop analysis methods based on rich Petri net theory and our experiences with Petri net tools construction [1]. These can help designers to overcome the system verification problem. To reach this goal a precise formal definition of the class of Petri nets has to be created. Acknowledgement This work is supported by a grant from the Czech Academy of Science GA#R No. 102 94 1097 Methodology of ....

Peterson, J.L.: Petri Nets and the Modelling of Systems. Prentice Hall, 1981.

....as a tool for modeling and simulation. Motivations to merging Petri nets and objects, used approach, and a brief description of PNtalk is presented in the paper. MOTIVATIONS Petri nets, especially high level ones (Colored Petri Nets, CPN) are popular formalism for modeling of concurrent systems (Peterson 1981; Jensen 1991; Reisig 1992) Petri nets have some interesting features, such as intuitive understanding, graphical representation and simplicity, besides their rigorous formal nature which allows formal reasoning. Moreover, their executability makes them very suitable for simulation, rapid ....

Peterson, J.L. 1981. Petri Nets and the Modelling of Systems. Prentice Hall.

....recover from an error which is a qualitative property of the system. A designer of such a system is surely also interested in the time needed for recovery, a quantitative property. Several formalisms have been developed for modelling and analysing qualitative properties. Petri nets (PNs) [17, 22] belong to these formalism. They have been proved to be suitable for representation of concurrency and synchronisation aspects in modern distributed systems. Since PNs do not involve any notion of time, temporal descriptions have been incorporated to render them suitable also for quantitative ....

J.L. Peterson. Petri Nets and the Modelling of Systems. MIT Press Series in Computer Science, 1981.

....concurrency and synchronisation aspects inherent in modern distributed systems. Apart from modelling, they also provide a variety of techniques for analysis of qualitative (functional) properties of such systems. Most of these techniques can be applied very efficiently, e.g. invariant analysis [16] and the analysis of special net classes [5] Since PNs do not have any notion of time, temporal specifications were incorporated emphasising those concepts which support a Markovian analysis of the time augmented net. Two well known representatives of this class are Stochastic Petri nets (SPNs; ....

....6 establishes the announced results. PN restrictions quantitative analysis = timing constraints (qualitative analysis) PN analysis GSPN Fig. 2. Modified analysis procedure for GSPNs 2 Basic definitions We will use the notion Petri nets (PNs) for Place Transition nets (P T nets) [16]. Definition1 Place Transition net. A Place Transition net is a 4 tuple PN = P; T; I Gamma ; I ) where P is a finite and non empty set of places, T is a finite and non empty set of transitions, P T = I Gamma ; I : P Theta T IN 0 are the backward and forward ....

[Article contains additional citation context not shown here]

J.L. Peterson. Petri Nets and the Modelling of Systems. MIT Press Series in Computer Science, 1981.

....better than the others and how concepts from a notation can be mapped onto concepts of another notation. Two aspects are important in the specification of Interactive Systems: parallelism and temporal ordering among actions. Thus we will consider two notations based on these concepts: Petri Nets [29] and LOTOS [14] and the goal of this work is to evaluate two methods based on them, to check whether they are both useful, or complementary, and can be used with synergistic effects. The global goal of this research work is to be able to both give precise descriptions of the relevant aspects in ....

J. Peterson. Petri nets and the modelling of systems. Prentice Hall, 1981.

....can be applied to a classical C E system yielding the usual semantics. Although the notion of contextual net and its true concurrent semantics is original of this paper, we must say that the concept of activatory and inhibitory arcs had been considered before, either formally or informally [JK91, Pet81, MF73, JK93]. In particular, in [JK91] nets with inhibitory arcs are studied, and a process semantics is given to them. However, as we will see later in more detail, a different notion of concurrency is adopted there (that is, different sets of events are allowed to happen simultaneously) and therefore ....

J.L. Peterson. Petri Nets and the Modelling of Systems. Prentice Hall, 1981.

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