C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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