Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
  • E escet
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Graph
    • Compare
    • Locked Files
  • Issues 92
    • Issues 92
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 4
    • Merge requests 4
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Eclipse ProjectsEclipse Projects
  • Eclipse ESCET (Supervisory Control Engineering Toolkit)
  • escet
  • Issues
  • #297
Closed
Open
Issue created Jan 26, 2022 by Dennis Hendriks@ddennisMaintainer

CIF event-based language equivalence check output contradicts itself

Given the following input:

test.cif

The CIF event-based language equivalence check tool produces the following output:

Automata have a different language!
From location "loc12" of automaton "statespace1", event "do1" can be performed, but from the equivalent location "loc12" of automaton "statespace2", the event cannot be performed.

It indicates the two automata statespace1 and statespace2 have different languages. As evidence it indicates that statespace1 can do a do1 event in loc12, while statespace2 can't (in that same location).

However, the following is from the CIF specification, for these locations in both automata:

...
  location loc12:
    edge enter goto loc20;
    edge do1 goto loc21;
    edge done2 goto loc17;
...
  location loc12:
    edge done2 goto loc15;
    edge enter goto loc20;
    edge do1 goto loc21;
...

Clearly both automata allow do1 in loc12. The evidence the tool produces is thus wrong.

Assignee
Assign to
Time tracking

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent