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

A multimedia synchronization model based on timed Petri net

โœ Scribed by Yongquan Liang; Zhongzhi Shi

Publisher
Springer
Year
1999
Tongue
English
Weight
433 KB
Volume
14
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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

Fault diagnosis model based on Petri net
Fault diagnosis model based on Petri net with fuzzy colors
โœ M.-S. Ouali; D. Ait-Kadi; N. Rezg ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 253 KB

The problem addressed in this paper concerns fault diagnosis based on incomplete and/or uncertain information. The aim of this research is to explore all information which can be supplied by operators or exploitation persons in order to make more efficient fault diagnosis process. A Petri net with f

Real-time control software for transacti
Real-time control software for transaction processing based on colored safe Petri Net model
โœ Tomohiro Murata; Norihisa Komoda ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer US ๐ŸŒ English โš– 559 KB

A Petri Net-based real-time control software system for transaction processing is proposed to improve flexibility and maintainability in real-time application software. This software system is named Station Controller (SCR). Transaction processing control programs can be understandably described usi