Discussions

• 1 You must be logged in to vote

  🙏

  How to export the Finiste State Transducer as a graph instead of State Graph?

  mohammadmonjil asked Aug 2, 2024 in Q&A · Unanswered

  

  

  

  

  8
• 1 You must be logged in to vote

  🙏

  Deadlock-freeness & Environment Conformancy

  mohammadmonjil asked Jul 23, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Unexpected gate output in simulation

  tag:model:circuit

  mohammadmonjil asked Jul 12, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  Violation trace not coming up for N-way conformation test

  tag:model:stg

  mohammadmonjil started Jun 16, 2024 in General

  

  

  

  

  9
• 1 You must be logged in to vote

  🙏

  Fork with ZD inverter and wire

  tag:model:circuit

  omer-qadir asked May 14, 2024 in Q&A · Answered

  

  

  5
• 1 You must be logged in to vote

  🙏

  Gathering graph information

  tag:model:petri

  petejaustin asked Dec 2, 2022 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Using Petri nets for JSON file processing

  tag:model:petri

  elfring asked Dec 7, 2022 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Support for UML state diagrams

  elfring asked Dec 8, 2022 in Q&A · Answered

  

  

  1