✦ LIBER ✦

Interactive multimedia synchronization model based on Petri Nets

✍ Scribed by Zhiqiang Wang; Xiaogang Peng; Zhen Ji

Book ID: 107531221
Publisher: Wuhan University
Year: 2007
Tongue: English
Weight: 463 KB
Volume: 12
Category: Article
ISSN: 1007-1202
DOI: 10.1007/s11859-007-0115-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A multimedia synchronization model based

A multimedia synchronization model based on timed Petri net

✍ Yongquan Liang; Zhongzhi Shi 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 433 KB

Model checking workflow net based on Pet

Model checking workflow net based on Petri net

✍ Zhou Conghua; Chen Zhenyu 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 430 KB

Modeling of Electrocardiograph Telediagn

Modeling of Electrocardiograph Telediagnosing System Based on Petri Net

✍ Wensong Hu; Ming Li; Lan Li 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 352 KB

An Improved Modeling Method Based on Col

An Improved Modeling Method Based on Colored Petri Net

✍ Wang Chun-jian; Liu Yong-zhi; Xiao Fan 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 318 KB

Logical inference of clauses based on Pe

Logical inference of clauses based on Petri net models

✍ Chuang Lin; Samuel T. Chanson 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB 👁 1 views

This paper extends the logical inference of Horn clauses in Petri net models to cover a large class of non-Horn clauses. Based on four-valued logic and the conflict transition concept, we show how the Petri net model for this class of non-Horn clauses can be constructed. The clause inference is solv

Model and control holonic manufacturing

Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets

✍ Fu-Shiung Hsieh 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 260 KB