Timed Mobility in process algebra and Petri nets.

Gabriel Ciobanu Maciej Koutny

Published in: J. Log. Algebraic Methods Program. (2011)

Keyphrases

petri net
process algebra
concurrent systems
petri net model
web service composition
colored petri nets
mobile agents
service composition
discrete event systems
web services composition
ims ld
fuzzy petri net
stochastic petri net
model checking
machine learning
social networks