Sign in
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems.
Midhun Xavier
Sandeep Patil
Victor Dubinin
Valeriy Vyatkin
Published in:
Petri Nets (2023)
Keyphrases
</>
computer systems
industrial systems
neural network
intelligent systems
statistical analysis
learning algorithm
reinforcement learning
image analysis
fuzzy logic
complex systems
quantitative analysis
formal model
formal analysis