Keyphrases
Petri Nets
92%
Petri Net Model
37%
Controller
27%
Embedded Systems
25%
Input-output
22%
IOPT-Tools
20%
Cyber-physical Systems
14%
Embedded Controller
13%
State Diagram
13%
Model-driven Development
13%
IOPT Nets
12%
Electric Wheelchair
12%
Modeling Formalism
11%
System Design
11%
Digital Twin
11%
Input Signals
10%
Non-autonomous
9%
Field Programmable Gate Arrays
9%
Controller Development
9%
Controller Design
9%
System Controller
8%
Structuring Mechanisms
8%
Place Transition Net
8%
Automatic Code Generation
8%
Distributed Controller
7%
Net Model
7%
Controller Implementation
7%
Model Composition
6%
Petri Net Modeling
6%
Automation System
6%
State Space
6%
Embedded System Design
6%
Reconfiguration
6%
Communication Channels
5%
Cloud-based
5%
Graphical Editor
5%
Event Modeling
5%
Reconfigurable
5%
Cyber-physical-social Systems
5%
High-level Petri Nets
5%
Output Signal
5%
Digital System Design
5%
Code Generation
5%
Design Automation
5%
Hardware-software Co-design
5%
Computer Science
Petri Net
100%
Embedded System
23%
Field Programmable Gate Array
18%
Cyber Physical Systems
18%
Input/Output
17%
Participatory Design
13%
Computer Hardware
13%
Automatic Code Generation
11%
Digital Twin
11%
Reconfiguration
10%
Case Study
9%
System Controller
9%
State Diagram
9%
State Space
8%
Design Automation
6%
Automation System
6%
Statecharts
6%
Embedded System Design
6%
Cyber-Physical-Social System
5%
Engineering
Petri Net Model
30%
Input Signal
12%
Field Programmable Gate Array
11%
Nodes
11%
Illustrates
10%
Automation System
10%
Cyber-Physical Systems
10%
Specifies
9%
Digital Twin
8%
Discrete Event Simulation
8%
Output Signal
6%
Controller Design
6%
Engineering
6%
Sailing Vessels
5%
