Characterizing Compatibility of Timed Choreography.

Nawal Guermouche Claude Godart

Published in: Int. J. Web Serv. Res. (2011)

Keyphrases

petri net
discrete event
colored petri nets
service oriented architecture
timed automata
real world
information systems
markov chain
finite state machines
face recognition
search space
user interface
decision makers