N. Anisimov, A. Kovalenko, P.A. Postupalski, S. Vuong
{"title":"A compositional approach to the specification of multimedia objects using Petri nets","authors":"N. Anisimov, A. Kovalenko, P.A. Postupalski, S. Vuong","doi":"10.1109/ETACOM.1996.502473","DOIUrl":null,"url":null,"abstract":"We propose a compositional Petri net model, called CoPN, for multimedia synchronization specifications. The salient features of this model, including macroplaces and PN entities, are presented and the application of the CoPN model to multimedia synchronization specification is discussed via some simple examples. This compositional approach enables the compact and readable specification of complex, large-scale specifications while preserving the fine granularity as well as supporting user interactions.","PeriodicalId":130942,"journal":{"name":"Proceedings of COM'96. First Annual Conference on Emerging Technologies and Applications in Communications","volume":"32 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of COM'96. First Annual Conference on Emerging Technologies and Applications in Communications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ETACOM.1996.502473","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
We propose a compositional Petri net model, called CoPN, for multimedia synchronization specifications. The salient features of this model, including macroplaces and PN entities, are presented and the application of the CoPN model to multimedia synchronization specification is discussed via some simple examples. This compositional approach enables the compact and readable specification of complex, large-scale specifications while preserving the fine granularity as well as supporting user interactions.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
