Modeling and analysis of the behavior of information systems

DOI10.1109/32.9049zbMath0662.68106WikidataQ56968353 ScholiaQ56968353MaRDI QIDQ3813327

Georg Lausen

Publication date: 1988

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/32.9049

zbMATH Keywords

Petri nets; information systems; behavior analysis; net theory; information flow diagram hierarchies

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

94A15: Information theory (general)

94C15: Applications of graph theory to circuits and networks

68P20: Information storage and retrieval of data