Login / Signup
Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets.
Adel Mahfoudhi
Walid Karamti
Published in:
J. Supercomput. (2015)
Keyphrases
</>
petri net
colored petri nets
process model
dynamic behaviors
manufacturing systems
requirements engineering
workflow process
discrete event systems
web services
development process
metamodel
sequence diagrams