Properties of enhanced mobile membranes via coloured Petri nets.

Bogdan Aman Gabriel Ciobanu

Published in: Inf. Process. Lett. (2012)

Keyphrases

coloured petri nets
mobile devices
desirable properties
real time
data mining
structural properties
mobile applications
social networks
mobile phone
m learning
topological properties
formal verification