Login / Signup

Transition Systems Reduction: Balancing Between Precision and Simplicity.

Sergey A. ShershakovAnna A. KalenkovaIrina A. Lomazova
Published in: Trans. Petri Nets Other Model. Concurr. (2017)
Keyphrases
  • transition systems
  • concurrent systems
  • model checking
  • temporal logic
  • finite state
  • control flow
  • practical reasoning
  • distributed systems
  • software engineering
  • rough sets
  • petri net