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

Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets

โœ Scribed by Naiqi Wu; MengChu Zhou

Publisher
Springer
Year
2006
Tongue
German
Weight
308 KB
Volume
29
Category
Article
ISSN
0171-6468

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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