Table of Contents

Documentation

Examples

  1. Communication between active agents
  2. Communication with a passive agent
  3. Sender-Buffer-Receiver example
  4. Test models The archive contains selected Alvis test models:
    • name.alvis - model XML file,
    • namecorrect.dot - LTS (dot format) for non-time version of the model,
    • nametime1correct.dot - LTS (dot format) for time version of the model (default duration function),
    • nametimemixcorrect.dot - LTS (dot format) for time version of the model (user defined duration function - see duration.hs).

Download

Reference Card