๐”– Bobbio Scriptorium
โœฆ   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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Logical inference of clauses based on Pe
โœ 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