- Table of Contents 1 Introduction 1
- Electrical Engineering and Computer Science Technical Report TR991
- Animating Formal Specifications Using Java Applets Charles Lakos and Glenn Lewis
- The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets
- Lightweight Consistency Analysis of Data ow Process Networks Yan Jin Robert Esser Charles Lakos
- 1. Introduction A number of proposals have been made for extending petri nets with arcs and places having
- Producing Network Applications Using ObjectOriented Petri Nets
- Modelling Network Protocols with Object Petri Nets Charles Lakos, John Lamp, Chris Keen, Brian Marriott
- The Object Orientation of Object Petri Nets Charles Lakos,
- A METHODOLOGY FOR THE CONSTRUCTION OF SIMULATION MODELS USING OBJECTORIENTED PETRI NETS
- Modelling Layered Protocols in LOOPN C.A. Lakos C.D. Keen
- A Catalogue of Incremental Changes for Coloured Petri Nets
- Backend to the Xloopn screen editor Philip Gavin Hodgson
- Incremental State Space Construction for Coloured Petri Nets
- Towards a Reflective Implementation of Object Petri Nets Charles Lakos
- MODELLING A DOOR CONTROLLER PROTOCOL IN LOOPN Charles A. Lakos, Chris D. Keen
- 1 Introduction LOOPN (Language for ObjectOriented Petri Nets) is a language and simulator for specifying
- From Coloured Petri Nets to Object Petri Nets Charles Lakos,
- The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets
- Applying Invariant Analysis to Modular Petri Nets C.A. Lakos and C.D. Keen
- Incremental Specification and Analysis in the Context of Coloured Petri Nets
- ObjectOriented Modelling with ObjectPetri Nets Charles Lakos,
- INFORMATION SYSTEMS MODELLING USING LOOPN++, AN OBJECT PETRI NET SCHEME
- Modular Analysis of Dataflow Process Networks Yan Jin # , Robert Esser # , Charles Lakos # , and Jorn W. Janneck #
- The Compositionality of Abstraction for Coloured Petri Nets
- Abstract: This paper presents Object Petri Nets (OPNs), a formal system which integrates object
- LOOPN User Manual Revised March 1992
- A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets
- Simulation with ObjectOriented Petri Nets Department of Computer Science,
- LOOPN System Manual This technical report documents the choices made in implementing LOOPN, a language and
- A LOOPN++ Interface to an Object Data Management System
- Encoding the ANSI Z39.50 Search and
- Explanation declaration
- A Flexible Distributed Simulator for ObjectOriented Petri Nets C.A. Lakos, C.D. Keen, E.J.Palmer
- 1 Introduction Mellor and Shlaer [17] assert: ``The ability to execute the application analysis models is a sine
- 1 Introduction Petri Nets have been popular as a formalism and practical tool for modelling and analysing concurrent
- Behaviour Inheritance for Object Lifecycles Charles Lakos, Glenn Lewis.
- A Cooperative Editor for Hierarchical Diagrams: An Object Petri Net Model
- 1 Introduction Petri Nets have been popular as a formalism and practical tool for modelling, simulating and
- Composing Abstractions of Coloured Petri Nets Charles Lakos
- The Role of Substitution Places in Hierarchical Coloured Petri Nets
