• libFAUDES
• Reference  
• Type Index  
• Function Index  
• Literature  
•  
• Sections
• CoreFaudes  
  • CoreFaudes
  • Introduction
  • Generators
  • Alphabets
  • Reachability
  • Boolean Operations
  • Regular Expressions
  • Synchronous Composition
  • Projection
  • StateSet Conversion
  • Elementary Types
  • Miscellaneous
  • Vector Types
• CoordinationControl  
• Diagnosis  
  • Diagnosis
  • Introduction
  • Event-Diagnosis
  • Language-Diagnosis
  • Modular Diagnosis
  • Decentralized Diagnosis
  • Application Example
• FaultTolerantControl  
  • FaultTolerantControl
  • Introduction
  • Example
  • Fault-Accommodation
  • Reconfiguration
  • Fault-Patterns
• HioSys  
  • HioSys
  • Introduction
  • Step-By-Step
  • Synthesis Procedure
  • Liveness Properties
  • Application Example
• IoSystem  
  • IoSystem
  • Introduction
  • Properties
  • Synthesis
• Multitasking  
  • Multitasking
  • Introduction
  • Functions
  • Observer
  • Optimal Color Set
  • Reachability
  • Synthesis
• Observer  
  • Observer
  • Introduction
  • Verification
  • Synthesis
  • Example
• Simulator  
  • Simulator
  • Introduction
  • Executor Classes
  • Hardware-In-The-Loop
  • IO-Devices
  • Simulator Interconnection
• Synthesis  
  • Synthesis
  • Introduction
  • Controllability
  • Normality
  • Omega-Controllability
  • Misc Functions
•  
• Types
• HioConstraint  
• HioController  
• HioEnvironment  
• HioPlant  
•  
• Functions
• HioFreeInput  
• HioShuffle  
• HioSynth  
• HioSynthHierarchical  
• HioSynthMonolithic  
• IsHioConstraintForm  
• IsHioControllerForm  
• IsHioEnvironmentForm  
• IsHioPlantForm  
•  

Example Data: hio_tu_controller.gen

Graph as png-image

Token IO

<Generator>
"HioSynth(Transport Unit,Specification)" 

% 
%  Statistics for HioSynth(Transport Unit,Specification)
% 
%  States:        9
%  Init/Marked:   1/9
%  Events:        8
%  Transitions:   15
%  StateSymbols:  0
%  Attrib. E/S/T: 8/9/0
% 

<Alphabet>
"no_op"     +UP+          "del_tr"    +UP+          "take_fl"   +UP+          
"empty"     +YP+          "full"      +YP+          "idle"      +YC+          
"l2r"       +UC+          "stby"      +UC+          
</Alphabet>

<States>
1             +QYp+         2             +QYcUp+       3             +QUc+         
4             +QUp+         5             +QUp+         6             +QYp+         
7             +QYcUp+       "Err1"        +QUp+         "Err2"        +QYp+         
</States>

<TransRel>
1             "empty"     2
1             "full"      "Err1"
2             "idle"      3
3             "l2r"       5
3             "stby"      4
4             "no_op"     1
5             "take_fl"   6
6             "empty"     "Err1"
6             "full"      7
7             "del_tr"    1
"Err1"        "del_tr"    "Err2"
"Err1"        "take_fl"   "Err2"
"Err2"        "empty"     "Err1"
"Err2"        "full"      "Err1"
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
1             2             3             4             5             6             
7             "Err1"        "Err2"
</MarkedStates>


</Generator>

libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"