๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A prioritized Petri net model and its application in distributed multimedia systems

โœ Scribed by Sheng-Uei Guan; Hsiao-Yeh Yu; Jen-Shun Yang

Book ID
119772840
Publisher
IEEE
Year
1998
Tongue
English
Weight
211 KB
Volume
47
Category
Article
ISSN
0018-9340

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Protocol syntheses in a Petri net model
Protocol syntheses in a Petri net model with registers and its application
โœ Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 247 KB

Some methods for synthesizing a protocol specification from a given service specification have been proposed using various computational models. However, the existing methods cannot treat service specifications including both complex control flows and system variables. In this paper, we propose a me