Information System Behavior Specification by High-Level Petri Nets.

Andreas Oberweis Peter Sander

Published in: ACM Trans. Inf. Syst. (1996)

Keyphrases

information systems
human behavior
information technology
health care
qualitative simulation
requirements analysis
data sets
neural network
high level
knowledge management
collaborative learning
business rules
specification language
formal verification