An environment for specifying an executing hierarchical Petri nets

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation

SMALLTALK-80: the interactive programming environment

SMALLTALK-80: the interactive programming environment

System design with Ada

System design with Ada

Software engineering with Ada

Software engineering with Ada

SARA (system architects apprentice): modeling, analysis, and simulation support for design of concurrent systems

IEEE Transactions on Software Engineering

Predicate/transition nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties

A graphical tool for the design and prototyping of distributed systems

ACM SIGSOFT Software Engineering Notes

Self: The power of simplicity

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications

On visual formalisms

Communications of the ACM

Hypertext

Communications of the ACM

Executing real-time structured analysis specifications

ACM SIGSOFT Software Engineering Notes

An object-oriented structured design method for code generation

ACM SIGSOFT Software Engineering Notes

Timing extensions to structured analysis for real time systems

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design

Hierarchies in Coloured Petri Nets

APN 90 Proceedings on Advances in Petri nets 1990

Structured Development for Real-Time Systems

Structured Development for Real-Time Systems

Embedded System Description Using Petri Nets

Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course

A distributed simulator for high order Petri nets

Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990

Structured Analysis and System Specification

Structured Analysis and System Specification