MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Charles Lakos" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 21 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Object Oriented Modelling with Object Petri Nets  
  • by Charles Lakos — 1997 — In: Advances in Petri Nets. LNCS
  • …: This paper informally introduces Object Petri Nets (OPNs) with a number of examples. OPNs support a thorough integration of object-oriented concepts into Petri Nets, including inheritance and the associated polymorphism and dynamic binding. They have a single class hierarchy which includes both to…
  • Cited by 8 (0 self) – Add To MetaCart
  • Towards a Reflective Implementation of Object Petri Nets  
  • by Charles Lakos — 1996 — Proceedings of TOOLS Pacific
  • …: This paper presents the concept of reflection, where a program modifies its own interpretation. A number of applications of reflection are examined and it becomes apparent that the technique is particularly applicable to the implementation of object-oriented lang…
  • Cited by 1 (1 self) – Add To MetaCart
  • From Coloured Petri Nets to Object Petri Nets  
  • by Charles Lakos — 1995
  • …ion Abstract: This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petri Nets. It does so by defining a number of intermediate Petri Net formalisms and identifying the features introduced at each step of the development. Object Petri Nets…
  • Cited by 49 (6 self) – Add To MetaCart
  • The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets  
  • by Charles Lakos — 1996 — Proceedings of 17th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1091
  • …: This paper seeks to present a more elegant and general definition of Object Petri Nets than previously. It is more general since it supports transition fusion as well as place fusion. It is more elegant because it captures all the notions of place substitution, transition substitution, place fusio…
  • Cited by 10 (6 self) – Add To MetaCart
  • On the Abstraction of Coloured Petri Nets  
  • by Charles Lakos — 1997 — Proceedings of Petri Net Conference 97
  • …ion of Coloured Petri Nets Charles Lakos, Computer Science Department, University of Tasmania, GPO Box 252C, Hobart, TAS, 7001, Australia. Email: Charles.Lakos@cs.utas.edu.au Abstract: This paper considers the appropriate properties for abstract net components in the Coloured Petri Net formalism. I…
  • Cited by 14 (6 self) – Add To MetaCart
  • The Object Orientation of Object Petri Nets  
  • by Charles Lakos — 1995 — PROCEEDINGS OF WORKSHOP ON OBJECT ORIENTED PROGRAMMING AND MODELS OF CONCURRENCY
  • …This paper informally introduces Object Petri Nets (OPNs) with a number of examples and discusses how this kind of Petri Net addresses a number of issues pertinent to Concurrent Object-Oriented Programming Languages. OPNs support a thorough integration of object-oriented concepts into Petri Nets,…
  • Cited by 13 (2 self) – Add To MetaCart
  • Towards Incremental Analysis  
  • by Glenn Lewis, Charles Lakos
  • …As the size of a formal model increases, state space analysis becomes more complex in terms of time or space or both. This complexity means that state space analysis of a formal model is often practically impossible, even for a modest sized system. Recently techniques to reduce the complexity have d…
  • Add To MetaCart
  • The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets  
  • by Charles Lakos, John Lamp — 1999 — Lecture Notes in Computer Science
  • …: This paper examines how object-oriented extensions to the Petri Net formalism provide flexible structuring primitives which can aid the modelling of network protocols. A key benefit is the support for incremental modelling. As a result, a protocol can be modelled as a collection of services, each …
  • Cited by 3 (3 self) – Add To MetaCart
  • A Cooperative Editor for Hierarchical Diagrams: An Object Petri Net Model  
  • by Charles A. Lakos — 1995 — Proceedings of Workshop on Object Oriented Programming and Models of Concurrency
  • …: This paper presents a case study on the use of Object Petri Nets. The case study is that of a cooperative editor for hierarchical diagrams. The methodology for deriving the Petri Net model is to follow an object-oriented design methodology: first we prepare the Object Model in the OMT notation of …
  • Cited by 3 (2 self) – Add To MetaCart
  • A Catalogue of Incremental Changes for Coloured Petri Nets  
  • by Charles Lakos, Glenn Lewis — 1999 — the International Conference of Application and Theory of Petri Nets
  • …Abstract: This paper presents three forms of incremental change or refinement which are considered appropriate for Coloured Petri Nets. The intention is to recommend forms which are appropriate to Petri Nets and not primarily driven by the desire to emulate object-oriented programming languages. Nev…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB