ahem “salope, fumier, trou de cul, idiot, putain, zut alors, pute, connard, enculer une mouche, fous le camp, imbécile, débiles, merde, tais-toi, va te pendre, baise-toi.” All right, I think I’m all good for polite small-talk in French. Off to the city named after Nicky’s older sister – if anybody needs me, I’ll be on […]

Read More… from

Improved Paradigm for Analysis, Verification and Data Retention of CPNs using CPNaaS

Design/CPN was the first tool supporting computer-based editing and simulation of colored Petri nets. It was later extended with a for the time powerful state-space analysis tool. CPN Tools improved on Design/CPN by merging the editing and simulation phases, vastly speeding up the modeling phase because simple errors could be found and fixed very quickly. […]

Read More… from Improved Paradigm for Analysis, Verification and Data Retention of CPNs using CPNaaS