JANE JENSEN

Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequenc...

When Theresa McCarrie, known to friends as Teri, was seven years old, her life's ambition was to become a superhero. A commendable ambition, true, but a bit impractical for mere mortals. Therefore, not surprisingly, by her mid-twenties, Teri had settled into a conventional, albeit tedious, job at a bank. She dutifully heads to work, day after da...