From Coloured Petri Nets to Object Petri Nets
暂无分享,去创建一个
[1] Bertrand Meyer,et al. Object-Oriented Software Construction, 2nd Edition , 1997 .
[2] Christophe Sibertin-Blanc. A Client-Server Protocol for the Composition of Petri Nets , 1993, Application and Theory of Petri Nets.
[3] Søren Christensen,et al. Coloured Petri Nets Extended with Channels for Synchronous Communication , 1992 .
[4] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts , 1992 .
[5] Paul A. Fishwick,et al. Computer Simulation: Growth Through Extension , 1997 .
[6] Christophe Sibertin-Blanc,et al. Cooperative Nets , 1994, Application and Theory of Petri Nets.
[7] K. M. van Hee,et al. Integration of a data model and high-level Petri nets , 1991 .
[8] Paula M. C. Swatman,et al. Electronic Data Interchange a High-level Formal Specification in Object-Z , 1991 .
[9] Laure Petrucci,et al. Towards a Modular Analysis of Coloured Petri Nets , 1992 .
[10] Joost Engelfriet,et al. Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs , 1990, REX Workshop.
[11] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[12] Kurt Jensen,et al. Coloured Petri nets: A high level language for system design and analysis , 1991, Applications and Theory of Petri Nets.
[13] Peter Wegner,et al. Dimensions of object-based language design , 1987, OOPSLA '87.
[14] P. S. Thiagarajan. Elementary Net Systems , 1986 .
[15] Søren Christensen,et al. A General Systematic Approach to Arc Extensions for Coloured Petri Nets , 1994, Application and Theory of Petri Nets.
[16] Nicolas Guelfi,et al. OPEN DISTRIBUTED PROGRAMMING USING THE OBJECT ORIENTED SPECIFICATION FORMALISM CO-OPN , 1992 .
[17] E. Battiston,et al. Class orientation and inheritance in modular algebraic nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.
[18] Jacques Vautherin,et al. Parallel systems specitications with coloured Petri nets and algebraic specifications , 1986, European Workshop on Applications and Theory of Petri Nets.
[19] Stephen J. Mellor,et al. Object lifecycles: modeling the world in states , 1992 .
[20] Peter Huber,et al. Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.
[21] Gul A. Agha,et al. ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.
[22] Sape Mullender,et al. Distributed systems , 1989 .
[23] Charles Lakos,et al. Modelling layered protocols in LOOPN , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
[24] Stanley B. Zdonik,et al. Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like , 1988, ECOOP.
[25] Peter A. C. Verkoulen,et al. Integrated information systems design - an approach based on object-oriented concepts and Petri nets , 1993 .
[26] Giancarlo Mauri,et al. OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.
[27] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[28] Ole Lehrmann Madsen,et al. Object-oriented programming in the BETA programming language , 1993 .
[29] Wolfgang Reisig,et al. Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.
[30] Giorgio Bruno,et al. An Environment for Object- oriented Conceptual Programming Based on PROT Nets , 1987, European Workshop on Applications and Theory of Petri Nets.