1982 | OriginalPaper | Buchkapitel
Transfer of graph constructs in Goguen’s paper to net constructs
verfasst von : Wolfgang Hinderer
Erschienen in: Application and Theory of Petri Nets
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Goguen /1/ presents in his paper a definition of sequential programs with a given graph as flow diagrams and a definition of program homomorphism which allows to contract and expand paths. The nodes of a flow diagram correspond to global state vectors, and the paths between two nodes correspond to the global state transformations of the program.