Petri Net Tool Overview 1986

Authors:
Frits Feldbrugge;Kurt Jensen
Affiliations:
-;-
Venue:
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Year:
1986

Citing 0
Cited 4

Using Flat Concurrent Prolog in System Modeling

IEEE Transactions on Software Engineering
Specification of Fault-Tolerant System Issues by predicate/Transition Nets and Regular Expressions-Approach and Case Study

IEEE Transactions on Software Engineering
A high level language for specifying graph based languages and their programming environments

ICSE '93 Proceedings of the 15th international conference on Software Engineering
A design life-cycle for the formal design of user interfaces

FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface

Quantified Score

Hi-index	0.00

Visualization

Abstract