535 followers
RT @marmont81: It was now my turn at @CAiSEConf. I presented a joint work with @bytekid and Paolo Felli: a step further on how to reason on…
RT @marmont81: It was now my turn at @CAiSEConf. I presented a joint work with @bytekid and Paolo Felli: a step further on how to reason on…
It was now my turn at @CAiSEConf. I presented a joint work with @bytekid and Paolo Felli: a step further on how to reason on Data Petri nets with arithmetics (important especially when they are produced by a mix of mining and modelling). Paper here: https: