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
Notes:

[an error occurred while processing this directive]

Abstract State Machines