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

Synthesis of Controllers of Processes Modeled as Colored Petri Nets

โœ Scribed by Mbi Makungu; Michel Barbeau; Richard St-Denis

Book ID
110263101
Publisher
Springer
Year
1999
Tongue
English
Weight
257 KB
Volume
9
Category
Article
ISSN
0924-6703

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