An environment for object-oriented conceptual programming based on PROT nets

Publisher Website

1 January 1988

book chapter
Published by Springer Nature

p. 1-19
https://doi.org/10.1007/3-540-50580-6_21

Abstract

No abstract available

Keywords

This publication has 13 references indexed in Scilit:

Protocol analysis using Numerical Petri Nets
Published by Springer Nature ,2005
Process-translatable Petri nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering, 1986
Object-oriented development
IEEE Transactions on Software Engineering, 1986
Analysis and Design in MSG.84: Formalizing Functional Specifications
IEEE Transactions on Software Engineering, 1985
The operational versus the conventional approach to software development
Communications of the ACM, 1984
Software Technology in the 1990's: Using a New Paradigm
Computer, 1983
Casting Petri Nets into Programs
IEEE Transactions on Software Engineering, 1983
An Operational Approach to Requirements Specification for Embedded Systems
IEEE Transactions on Software Engineering, 1982
System modelling with high-level Petri nets
Theoretical Computer Science, 1981
Coloured petri nets and the invariant-method
Theoretical Computer Science, 1981