📦 v2.4.1

Features

• Introduced mutable bigraph support PureBigraphMutable with change events and listener mechanisms. #4 (Thanks @dev-manuel)
• Added filtering capabilities to ModelCheckingStrategy to control traversal of state space, including rule selection via ReactionRuleFilter and worklist filter via BigraphFilter (see usage here).

Refactoring

• Matching architecture restructured for extensibility, preparing transition to matchAll and matchFirst APIs.
• Renamed Bigraph#getOpenNeighborhoodOfVertex to getOpenNeighborhoodOfNode for consistency.
• Removed legacy simulation adapter classes.

Maintenance

• Updated documentation, license headers, and copyright year.
• Updated unit tests.