Hello,
I'm looking for a comparative study between petri nets and statecharts.
I know that from the mathematical point of veiw they are largely equivalent
https://arxiv.org/pdf/1312.0342.pdf but what interests me is more usability /model complexity vs system complexity/ verification
The context is the following: in our fileds petri nets are accepted as a modeling approach, thus people ask us "why statecharts"
Thank you in advance, Valentin.