[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines




ASM Studies

Predicate Transition Nets

Citation: Uwe Glässer, "Combining Abstract State Machines with Predicate Transition Nets", in F. Pichler and R. Moreno-Diaz, 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, 108-122.
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/T-nets are considered as a graphical interface for distributed ASMs. For the class of strict Pr/T-nets (which constitutes the basic form of Pr/T-nets) a transformation to distributed ASMs is given.
Subjects: (Other) Models of Computation
Download: PostScript, PDF, Compressed PostScript
[an error occurred while processing this directive]