论文信息 - Simulation with Object-oriented Petri Nets

Simulation with Object-oriented Petri Nets

LOOPN is a language and simulator for specifying systems in terms of coloured timed Petri nets. It includes object-oriented features such as sub typing, inheritance and polymorphism which allow for the convenient modularisation of complex specifications. This paper describes LOOPN and the experience that has been gained in its use both for discrete event simulation purposes and more specifically for modelling network protocols.

Cd Keen | Charles Lakos | C. Keen | C. Lakos

[1] Wolfgang Kreutzer,et al. System simulation programming styles and languages , 1986 .

[2] Wolfgang Reisig,et al. Petri Nets in Software Engineering , 1986, Advances in Petri Nets.

[3] Marco Ajmone Marsan,et al. Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.

[4] Antti Valmari,et al. Stubborn sets for reduced state space generation , 1991, Applications and Theory of Petri Nets.

[5] George K. Hutchinson. Introduction to the use of activity cycles as a basis for system's decomposition and simulation , 1975, SIML.

[6] G Wheeler,et al. Baby TORAS Eats Philosophers But Thinks About Solitaire , 1990 .

[7] Hervé P. Hillion. Timed Petri nets and application to multi-stage production systems , 1988, European Workshop on Applications and Theory in Petri Nets.

[8] Douglas Comer,et al. Internetworking with TCP/IP , 1988 .

[9] Wolfgang Kreutzer,et al. System simulation , 1986 .

[10] Kurt Jensen. Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[11] Douglas E. Comer,et al. Internetworking with TCP/IP - Principles, Protocols, and Architectures, Fourth Edition , 1988 .

[12] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .