XLIV ACADEMIC SPACE CONFERENCE: Dedicated to the Memory of Academician S.P. Korolev and Other Outstanding Russian Scientists – 2021
DOI: 10.1063/5.0035806
|View full text |Cite
|
Sign up to set email alerts
|

Methods for functional parallel processes implementation for network functions virtualization based on coloured Petri nets

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2021
2021
2024
2024

Publication Types

Select...
2
2

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(1 citation statement)
references
References 20 publications
0
1
0
Order By: Relevance
“…bipartite graph) specifies the step-by-step procedures that incorporate decisions. Data is specified in the form of tokens, these token moves in the graphical model and therefore data can be exhaustively examined and changed when a move fires (Mochalov, Bratchenko, Nikulin, & Yakovlev, 2021).…”
Section: Cpn Based Formal Verificationmentioning
confidence: 99%
“…bipartite graph) specifies the step-by-step procedures that incorporate decisions. Data is specified in the form of tokens, these token moves in the graphical model and therefore data can be exhaustively examined and changed when a move fires (Mochalov, Bratchenko, Nikulin, & Yakovlev, 2021).…”
Section: Cpn Based Formal Verificationmentioning
confidence: 99%