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

Identification and control algorithms of functioning for neighborhood systems based on petri nets

โœ Scribed by A. M. Shmyrin; I. A. Sedykh

Book ID
110153144
Publisher
SP MAIK Nauka/Interperiodica
Year
2010
Tongue
English
Weight
263 KB
Volume
71
Category
Article
ISSN
0005-1179

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

Temporal inference of workflow systems b
Temporal inference of workflow systems based on time petri nets: Quantitative and qualitative analysis
โœ Chuang Lin; Yang Qu ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 198 KB

Recently, a significant body of research has been dedicated to the analysis and verification of workflows without taking into account the temporal dimension of activities involved. Workflow also has a strong temporal aspect: activity sequencing, deadlines, routing conditions, and scheduling all invo