Login / Signup
Translating active objects into colored Petri nets for communication analysis.
Anastasia Gkolfi
Crystal Chang Din
Einar Broch Johnsen
Lars Michael Kristensen
Martin Steffen
Ingrid Chieh Yu
Published in:
Sci. Comput. Program. (2019)
Keyphrases
</>
quantitative analysis
colored petri nets
digital libraries
moving objects
petri net
real time
neural network
clustering algorithm
decision trees
data model
particle filter