Login / Signup

Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems.

Tony Modica
Published in: ICGT (2010)
Keyphrases
  • petri net
  • colored petri nets
  • discrete event systems
  • reactive systems
  • complex systems
  • manufacturing systems
  • neural network
  • data analysis
  • stochastic petri net
  • distributed systems
  • discrete event
  • petri net model