Login / Signup

Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets.

Markus FrankM. Alireza HakamianStefen Becker
Published in: ECSA Companion (2020)
Keyphrases
  • petri net
  • colored petri nets
  • petri net model
  • high level petri nets
  • mathematical model
  • manufacturing systems
  • stochastic petri net