Description
This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models. Its goal is to provide a formal means of modelling dynamic tasks, and of testing
Reviews
There are no reviews yet.