Distributed Artificial Intelligence, Agent Technology, and Collaborative Applications offers an enriched set of research articles in artificial intelligence (AI), covering significant AI subjects s...
Petri nets have traditionally been used for system modelling and verification, due to their intuitive graphical representation and strong mathematical basis, and a large body of literature exists to...
This dissertation presents the contributions of seven publications all concerned with the application of Coloured Petri Nets (CPN) to requirements modeling for reactive systems. The publications ar...