Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
ET++—an object oriented application framework in C++
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Eiffel: the language
Object-oriented modeling and design
Object-oriented modeling and design
Component-oriented software development
Communications of the ACM - Special issue on analysis and modeling in software development
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented type systems
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
COBRA fundamentals and programming
COBRA fundamentals and programming
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Communications of the ACM
Finding symmetries of algebraic system nets
Fundamenta Informaticae - Special issue on Petri nets
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
A practical approach to incremental specification
Fourth International Conference on Formal methods for open object-based distributed systems IV
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Concurrent object-oriented programming and petri nets: advances in petri nets
Concurrent object-oriented programming and petri nets: advances in petri nets
Modular Construction and Partial Order Semantics of Petri Nets
Modular Construction and Partial Order Semantics of Petri Nets
dSPIN: A Dynamic Extension of SPIN
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Emma: Developing an Industrial Reachability Analyser for SDL
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Modular State Space Analysis of Coloured Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
On the Abstraction of Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Incremental State Space Construction for Coloured Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method
ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
Exploiting Heap Symmetries in Explicit-State Model Checking of Software
Proceedings of the 16th IEEE international conference on Automated software engineering
Composing abstractions of coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
| Hi-index | 0.00 |
There have been a number of proposals for the integration of object-oriented capabilities into the Petri Net formalism. These proposals have demonstrated benefits for modelling, simulation and code generation. However, little has been said about analysis, particularly the use of state space methods, which are so prominent in Petri Net research and application. This talk will consider the impact of object oriented capabilities on state space analysis.