Predicate Transition Nets
Citation:

Uwe Glässer,
"Combining Abstract State Machines with Predicate Transition Nets", in
F. Pichler and R. MorenoDiaz, eds., "Computer Aided Systems Theory 
EUROCAST'97 (Proceedings of the 6th International Workshop
on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain,
Feb. 1997)",
Springer Lecture Notes in Computer Science 1333, 108122.

Summary:
 The work investigates the formal relation between ASMs and
Pr/TPredicate Transition (Pr/T) Nets with the aim to integrate both
approaches into a common framework for modeling concurrent and reactive
system behavior, where Pr/Tnets are considered as a graphical
interface for distributed ASMs. For the class of strict Pr/Tnets
(which constitutes the basic form of Pr/Tnets) a transformation to
distributed ASMs is given.

Subjects:
 (Other) Models of Computation

Download:
 PostScript,
PDF,
Compressed PostScript

Notes:


[an error occurred while processing this directive]