Can I read Time Petri Nets Analysis with TINA on EtoBox?
Time Petri Nets Analysis with TINA by Ayoub Ben is a document available to read on EtoBox.
What is Time Petri Nets Analysis with TINA about?
Time Petri Nets Analysis with TINA provides an overview of the software tool TINA and its capabilities for analyzing Petri nets and Time Petri nets. TINA offers state space abstractions that preserve certain properties, helping prevent combinatorial explosion. For Time Petri nets with infinite state spaces, TINA provides finite representations in terms of state class graphs. TINA accepts various input formats, produces output for model checkers, and is used in industrial projects for developing real-time em
- Author
- Ayoub Ben
- Language
- EN