SNexpression

SNexpression performs symbolic structural analysis of Symmetric Nets (SN) by applying a Symbolic Calculus Library to manipulate and evaluate arc expressions and structural relationships.

Key Features:

• Symbolic Calculus Library (LSC): Provides a library for symbolic calculus that enables complex symbolic operations on arc expressions within Symmetric Nets.
• Expression parser and standard input handling: Includes a parser for expressions denoting structural relationships that can read expressions from standard input.
• Net-based command mode: Supports submission of commands that directly reference net structure for analyses at the net level.

Scientific Applications:

• Design and analysis of Symmetric Nets: Enables structural analysis and manipulation of SN models for model development and evaluation.
• Low-level and higher-level structural manipulation: Supports detailed handling of arc expressions and higher-abstraction net operations for structural insight.

Methodology:

Uses a Symbolic Calculus Library (LSC) to perform symbolic operations on arc expressions, employing a parser that reads expressions from standard input and a net-based command mode.