 | ftp://opn.cs.utas.edu.au/pub/postscript/tr94-4.ps.Z, 19940420
1 Introduction Petri Nets have been popular as a formalism and practical tool for modelling, simulating and analysing concurrent systems . There is an attractive simplicity about the basic constructs of places (which hold state information in the form of tokens), transitions (which |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr94-3.ps.Z, 19940420
1 Introduction Petri Nets have been popular as a formalism and practical tool for modelling and analysing concurrent systems . There is an attractive simplicity about the basic constructs of places (which hold state information in the form of tokens), transitions (which indicate possible |
| ftp://opn.cs.utas.edu.au/pub/postscript/System-manual.ps.Z, 19940421
LOOPN System Manual CA Lakos April 1992 |
| ftp://opn.cs.utas.edu.au/pub/postscript/aswec91-paper.ps.Z, 19940421
Simulation with Object-Oriented Petri Nets C.A. Lakos C.D. Keen, Department of Computer Science, University of Tasmania, Hobart, TAS, Australia. Email: C.A.Lakos@cs.utas.edu.au C.D.Keen@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr93-6.ps.Z, 19940421
1 Introduction LOOPN (Language for Object-Oriented Petri Nets) is a language and simulator for specifying systems in terms of coloured timed petri nets (see ). The net model has been designed to benefit from the concurrency properties of coloured petri nets and the software structuring possible |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr93-7.ps.Z, 19940421
TR93-7 The Role of Substitution Places in Hierarchical Coloured Petri Nets CA Lakos August 1993 |
| ftp://opn.cs.utas.edu.au/pub/postscript/tools93-paper.ps.Z, 19940421
MODELLING A DOOR CONTROLLER PROTOCOL IN LOOPN Charles A. Lakos, Chris D. Keen Department of Computer Science University of Tasmania, GPO Box 252C, Hobart, TAS, 7001, Australia. C.A.Lakos@cs.utas.edu.au C.D.Keen@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/pnpm91-paper.ps.Z, 19940421
Modelling Layered Protocols in LOOPN C.A. Lakos C.D. Keen Department of Computer Science Department of Computer Science University of Tasmania, University of Tasmania, Hobart, TAS, Australia. Hobart, TAS, Australia. C.A.Lakos@cs.utas.edu.au C.D.Keen@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr93-8.ps.Z, 19940421
1. Introduction A number of proposals have been made for extending petri nets with arcs and places having modified semantics. (See for example , , , .) Some of these apply to simple net models such as PT-nets while others apply to high-level net models such as CP-nets. These proposals |
| ftp://opn.cs.utas.edu.au/pub/postscript/tapa92-paper.ps.Z, 19940421
A Flexible Distributed Simulator for Object-Oriented Petri Nets C.A. Lakos, C.D. Keen, E.J.Palmer Department of Computer Science University of Tasmania, Hobart, TAS, Australia. C.A.Lakos@cs.utas.edu.au, C.D.Keen@cs.utas.edu.au Emma.Palmer@artschool.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/acsc93-paper.ps.Z, 19940421
Applying Invariant Analysis to Modular Petri Nets C.A. Lakos and C.D. Keen Department of Computer Science University of Tasmania, Hobart, TAS, Australia. C.A.Lakos@cs.utas.edu.au, C.D.Keen@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/Loopn-errors.ps.Z, 19940421
Message Status Explanation Action Access function declaration malformed Syntax Error A syntax error has been detected in the declaration of an access function. Check the syntax rules for declaration of access functions. Access functions should not be quantified Syntax Error A FORALL, EXISTS or COUNT |
| ftp://opn.cs.utas.edu.au/pub/postscript/esm93-paper.ps.Z, 19940422
A METHODOLOGY FOR THE CONSTRUCTION OF SIMULATION MODELS USING OBJECT-ORIENTED PETRI NETS C.D. Keen and C.A. Lakos Department of Computer Science University of Tasmania GPO Box 252C, Hobart, Tasmania, Australia 7001 C.D.Keen@cs.utas.edu.au C.A.Lakos@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/dynmod94-paper.ps.Z, 19941107
INFORMATION SYSTEMS MODELLING USING LOOPN++, AN OBJECT PETRI NET SCHEME Chris Keen and Charles Lakos Department of Computer Science University of Tasmania Hobart, Tasmania 7001, Australia Fax: 61-02-202913 e-mail: Chris.Keen@cs.utas.edu.au, Charles.Lakos@cs.utas.edu.au Keywords: Object-oriented |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr94-9.ps.Z, 19941107
1 Introduction In recent years there has been considerable interest in applying object-oriented technology to petri nets. In some cases, the primary concern seems to have been the provision of a formal basis for object-oriented languages . In other cases, the interest has focussed on the |
| ftp://opn.cs.utas.edu.au/pub/postscript/lamp-thesis.ps.Z, 19950301
Encoding the ANSI Z39.50 Search and Retrieval Protocol using LOOPN John William Lamp BSc GradDipSc(IT) CD Thesis submitted in partial fulfilment of the requirements of the degree of Bachelor of Computing with Honours Department of Computer Science University of Tasmania November 1994 ii |
| ftp://opn.cs.utas.edu.au/pub/postscript/User-manual.ps.Z, 19950306
R95-1 LOOPN User Manual CA Lakos March 1991 Revised March 1992 Revised March 1995 |
| ftp://opn.cs.utas.edu.au/pub/postscript/pn95-paper.ps.Z, 19950518
From Coloured Petri Nets to Object Petri Nets Charles Lakos, Computer Science Department, University of Tasmania, GPO Box 252C, Hobart, TAS, 7001, Australia. Email: C.A.Lakos@cs.utas.edu.au Keywords: Theory of High-Level Petri Nets, Object-Orientation, Multiple Levels of Abstraction |
| ftp://opn.cs.utas.edu.au/pub/postscript/pn95-protocols.ps.Z, 19950518
Modelling Network Protocols with Object Petri Nets Charles Lakos, John Lamp, Chris Keen, Brian Marriott Computer Science Department University of Tasmania GPO Box 252C, Hobart, TAS, 7001 Australia. {C.A.Lakos, J.W.Lamp, C.D.Keen, B.W.Marriott}@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr95-6.ps.Z, 19950518
1 Introduction Mellor and Shlaer assert: The ability to execute the application analysis models is a sine qua non for any industrial-strength method, because analysts need to be able to verify the behaviour of the model with both clients and domain experts. On the other hand, a recent assessment of |
| ftp://opn.cs.utas.edu.au/pub/postscript/hodgson-thesis.ps.Z, 19950524
Backend to the Xloopn screen editor by Philip Gavin Hodgson Thesis submitted in partial fulfilment of the requirements for the degree of Bachelor of Science with Honours Department of Computer Science University of Tasmania November 1994 ii |
| ftp://opn.cs.utas.edu.au/pub/postscript/pn95-ooinopns.ps.Z, 19950801
The Object Orientation of Object Petri Nets Charles Lakos, Computer Science Department, University of Tasmania, GPO Box 252C, Hobart, TAS, 7001, Australia. Email: C.A.Lakos@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr95-10.ps.Z, 19950801
1 Introduction The formalism of Object Petri Nets (OPNs) is characterised by the thorough integration of objectoriented structuring into the Petri Net framework. The aim is to reap the benefits both of object-oriented technology and of Petri Net theory. Object-oriented technology offers practical |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr95-12.ps.Z, 19960112
The Consistent Use of Names and Polymorphism to Achieve an Elegant Definition of Object Petri Nets Charles Lakos, Computer Science Department, University of Tasmania, GPO Box 252C, Hobart, TAS, 7001, Australia. Email: C.A.Lakos@cs.utas.edu.au Keywords: Theory of High-Level Petri Nets, |
| ftp://opn.cs.utas.edu.au/pub/postscript/pn96-paper.ps.Z, 19960401
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets Charles Lakos, Computer Science Department, University of Tasmania, GPO Box 252C, Hobart, TAS, 7001, Australia. Email: Charles.Lakos@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/tr96-1.ps, 19960524
Table of Contents 1 Introduction 1 2 Petri Nets 1 2.1 Black and white nets 2 2.2 Condition-event net systems 4 2.3 Place-transition nets 5 2.4 Coloured nets 5 2.5 Predicate-Transition Nets 7 2.6 Traditional language constructs as petri nets 8 3 The Definition of the Language LOOPN++ 9 3.1 LOOPN++ |
| ftp://opn.cs.utas.edu.au/pub/postscript/pn96-coopeditor.ps.Z, 19960524
A Cooperative Editor for Hierarchical Diagrams: An Object Petri Net Model Charles Lakos Computer Science Department University of Tasmania GPO Box 252C, Hobart, TAS, 7001 Australia. C.A.Lakos@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/lewis-thesis.ps.Z, 19961128
Producing Network Applications Using Object-Oriented Petri Nets by Glenn Anthony Lewis Thesis submitted in partial fulfilment of the requirements for the degree of Bachelor of Science with Honours Department of Computer Science University of Tasmania November 1996 ii |
| ftp://opn.cs.utas.edu.au/pub/postscript/tools95-paper.ps.Z, 19970115
|
| ftp://opn.cs.utas.edu.au/pub/postscript/tools96-paper.ps.Z, 19970115
Towards a Reflective Implementation of Object Petri Nets Charles Lakos Computer Science Department University of Tasmania GPO Box 252C Hobart, TAS, 7001, Australia. Email: Charles.Lakos@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/pn97-abstraction.ps.Z, 19970429
On the Abstraction 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 |
| ftp://opn.cs.utas.edu.au/pub/postscript/oom-with-opns.ps.Z, 19970814
Object Oriented Modelling with Object Petri Nets Charles Lakos, Computer Science Department, University of Tasmania, GPO Box 252C, Hobart, TAS, 7001, Australia. Email: Charles.Lakos@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/opn-z39.50.ps.Z, 19970814
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets Charles Lakos and John Lamp Computer Science Department University of Tasmania GPO Box 252, Hobart, TAS, 7001 Australia. {C.A.Lakos, J.W.Lamp}@cs.utas.edu.au |
| ftp://opn.cs.utas.edu.au/pub/postscript/tools97-paper.ps.Z, 19971030
|
