Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Password generation using array generating interval timed colored Petri net (AGITCPN) for effective securityMetilda, M.I. Mary ; Lalitha, D. ; Vaithyasubramanian, S.Theoretical computer science, 2022-09, Vol.929, p.114-123 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Deadlock recovery for flexible manufacturing systems modeled with Petri netsChen, YuFeng ; Li, ZhiWu ; Al-Ahmari, Abdulrahman ; Wu, NaiQi ; Qu, TingInformation sciences, 2017-03, Vol.381, p.290-303 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
3 |
Material Type: Artigo
|
An integrated assessment of safety and efficiency of aircraft maintenance strategies using agent-based modelling and stochastic Petri netsLee, Juseong ; Mitici, MihaelaReliability engineering & system safety, 2020-10, Vol.202, p.107052, Article 107052 [Periódico revisado por pares]Barking: Elsevier LtdTexto completo disponível |
|
4 |
Material Type: Artigo
|
Constructing a smart framework for supplying the biogas energy in green buildings using an integration of response surface methodology, artificial intelligence and petri net modellingShahsavar, Mohammad M. ; Akrami, Mehran ; Gheibi, Mohammad ; Kavianpour, Babak ; Fathollahi-Fard, Amir M. ; Behzadian, KouroshEnergy conversion and management, 2021-11, Vol.248, p.114794, Article 114794 [Periódico revisado por pares]Oxford: Elsevier LtdTexto completo disponível |
|
5 |
Material Type: Artigo
|
An extended object-oriented petri net model for mission reliability evaluation of phased-mission system with time redundancyYu, Haiyue ; Wu, Xinyang ; Wu, XiaoyueReliability engineering & system safety, 2020-05, Vol.197, p.106786-11, Article 106786 [Periódico revisado por pares]Barking: Elsevier LtdTexto completo disponível |
|
6 |
Material Type: Artigo
|
Towards a formal modelling, analysis and verification of a clone node attack detection scheme in the internet of thingsHameed, Khizar ; Garg, Saurabh ; Amin, Muhammad Bilal ; Kang, ByeongComputer networks (Amsterdam, Netherlands : 1999), 2022-02, Vol.204, p.108702, Article 108702 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri netsAli, Nazakat ; Punnekkat, Sasikumar ; Rauf, AbdulThe Journal of systems and software, 2024-04, Vol.210, p.111958, Article 111958 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
8 |
Material Type: Artigo
|
Petri nets and Automatic Control: A historical perspectiveGiua, Alessandro ; Silva, ManuelAnnual reviews in control, 2018, Vol.45, p.223-239 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
9 |
Material Type: Artigo
|
Modeling and performance analysis of gas leakage emergency disposal process in gas transmission station based on Stochastic Petri netsLiu, Shuanglei ; Li, Weijun ; Gao, Peng ; Sun, YiboReliability engineering & system safety, 2022-10, Vol.226, p.108708, Article 108708 [Periódico revisado por pares]Barking: Elsevier LtdTexto completo disponível |
|
10 |
Material Type: Artigo
|
A coloured Petri net framework for modelling aircraft fleet maintenanceSheng, Jingyu ; Prescott, DarrenReliability engineering & system safety, 2019-09, Vol.189, p.67-88 [Periódico revisado por pares]Barking: Elsevier LtdTexto completo disponível |