Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systemsHan, Libin ; Xing, Keyi ; Chen, Xiao ; Xiong, FuliJournal of intelligent manufacturing, 2018-06, Vol.29 (5), p.1083-1096 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systemsUzam, Murat ; Li, ZhiWu ; Gelen, Gökhan ; Zakariyya, Rabiu SalehJournal of intelligent manufacturing, 2016-10, Vol.27 (5), p.1111-1129 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
An equivalent generating algorithm to model fuzzy Petri net for knowledge-based systemZhou, Kai-Qing ; Mo, Li-Ping ; Jin, Jie ; Zain, Azlan MohdJournal of intelligent manufacturing, 2019-04, Vol.30 (4), p.1831-1842 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Modeling and simulation of time and value throughputs of data-aware workflow processesDu, Yanhua ; Yu, Ze ; Yang, Benyuan ; Wang, YangJournal of intelligent manufacturing, 2019-08, Vol.30 (6), p.2355-2373 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Formal modelling of a sheet metal smart manufacturing system by using Petri nets and first-order predicate logicLu, Juan ; Ou, Chengyi ; Liao, Chen ; Zhang, Zhenkun ; Chen, Kai ; Liao, XiaopingJournal of intelligent manufacturing, 2021-04, Vol.32 (4), p.1043-1063 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Scheduling FMS problems with heuristic search function and transition-timed Petri netsLi, Cheng ; Wu, Weimin ; Feng, Yiping ; Rong, GangJournal of intelligent manufacturing, 2015-10, Vol.26 (5), p.933-944 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Application of Petri nets to deadlock avoidance in iPad-like manufacturing systemsShen, Victor R. L. ; Yang, Cheng-Ying ; Shen, Rong-Kuan ; Chen, Yu-ChiaJournal of intelligent manufacturing, 2018-08, Vol.29 (6), p.1363-1378 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A software tool for the automatic synthesis of minimally restrictive liveness enforcing supervisory policies for a class of general Petri net models of manufacturing- and service-systemsChandrasekaran, S. ; Somnath, N. ; Sreenivas, R. S.Journal of intelligent manufacturing, 2015-10, Vol.26 (5), p.945-958 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
The state of the art in intelligent real-time FMS control: a comprehensive surveyShukla, Chetan S. ; Frank Chen, F.Journal of intelligent manufacturing, 1996-12, Vol.7 (6), p.441-455 [Periódico revisado por pares]Texto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Modeling and control of workstation level information flow in FMS using modified Petri netsPingtao Yan ; Zhou, Mengchu ; Hu, Baosheng ; Zuren FengJournal of intelligent manufacturing, 1999-12, Vol.10 (6), p.557 [Periódico revisado por pares]London: Springer Nature B.VTexto completo disponível |