Timed high-level nets

S Morasca, M Pezzé, M Trubian - Real-Time Systems, 1991 - Springer
Petri nets have been widely used for modeling and analyzing concurrent systems. Several
reasons contribute to their success: the simplicity of the model, the immediate graphical …
被引用次数：37 相关文章

Timed high-level nets

S Morasca, M Pezze, M Trubian - REAL-TIME SYSTEMS, 1991 - irinsubria.uninsubria.it
Petri nets have been widely used for modeling and analyzing concurrent systems. Several
reasons contribute to their success: the simplicity of the model, the immediate graphical …

[引用][C] Timed high-level nets

S Morasca, M Pezzè, M Trubian - Real-Time Systems, 1991 - dl.acm.org
Timed high-level nets | Real-Time Systems skip to main content ACM Digital Library home ACM
home Google, Inc. (search) Advanced Search Browse About Sign in Register Advanced Search …

[引用][C] Timed high-level nets

S Morasca, M Pezze, M Trubian - Real-Time Systems, 1991 - Springer

[引用][C] Timed High-Level Nets

S MORASCA, M PEZZI, M TRUBIAN - Springer