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

Petri nets based coordination component for CSCW environment

โœ Scribed by Hong-Zhong Huang; Xu Zu Feng Zhou

Publisher
Springer-Verlag
Year
2005
Tongue
English
Weight
677 KB
Volume
19
Category
Article
ISSN
1738-494X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Reduction of constraints for controller
Reduction of constraints for controller synthesis based on safe Petri Nets
โœ Abbas Dideban; Hassane Alla ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 874 KB

In this paper, we present an efficient method based on safe Petri Nets to construct a controller. A set of linear constraints allows forbidding the reachability of specific states. The number of these so-called forbidden states, and consequently the number of constraints, are large and lead to a lar