• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Translating active objects into colored Petri nets for communication analysis.

Anastasia GkolfiCrystal Chang DinEinar Broch JohnsenLars Michael KristensenMartin SteffenIngrid 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