Ariadne: Modeling Language

We define the modeling language in terms of sets, chains, p-chains and pt-chains.

• Set Description
• Chain
• P-chain
• Pt-chain
• Other Facilities