Login / Signup
Defining a Formal Semantic for Parallel Patterns in the Palladio Component Model Using Hierarchical Queuing Petri Nets.
Markus Frank
M. Alireza Hakamian
Stefen 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