Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models.

Ahlem Triki Borzoo Bonakdarpour Jacques Combaz Saddek Bensalem

Published in: NFM (2015)

Keyphrases

conflict free
artificial intelligence
database systems
state space
petri net