Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Petri nets and other models of concurrency ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland June 26-30, 2006 : proceedingsInternational Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (27th 2006 Turku, Finland) Susanna Donatelli; P. S ThiagarajanBerlin Springer New York 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4024 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio CorradiniBerlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedingsFORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Artigo
|
A novel layered fuzzy Petri nets modelling and reasoning method for process equipment failure risk assessmentLi, Weijun ; He, Min ; Sun, Yibo ; Cao, QingguiJournal of loss prevention in the process industries, 2019-11, Vol.62, p.103953, Article 103953 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
5 |
Material Type: Artigo
|
Comprehensive risk assessment of deepwater drilling riser using fuzzy Petri net modelChang, Yuanjiang ; Wu, Xiangfei ; Chen, Guoming ; Ye, Jihua ; Chen, Bin ; Xu, Liangbin ; Zhou, Jianliang ; Yin, Zhiming ; Ren, KerenProcess safety and environmental protection, 2018-07, Vol.117, p.483-497 [Periódico revisado por pares]Rugby: Elsevier B.VTexto completo disponível |
|
6 |
Material Type: Artigo
|
Modeling and Simulation of Top-level Design Based on MBSEDandan, Wang ; Hao, Liang ; JianWen, CuiJournal of physics. Conference series, 2020-04, Vol.1486 (7), p.72061 [Periódico revisado por pares]Bristol: IOP PublishingTexto completo disponível |
|
7 |
Material Type: Artigo
|
Fuzzy Petri nets for knowledge representation and reasoning: A literature reviewLiu, Hu-Chen ; You, Jian-Xin ; Li, ZhiWu ; Tian, GuangdongEngineering applications of artificial intelligence, 2017-04, Vol.60, p.45-56 [Periódico revisado por pares]Elsevier LtdTexto completo disponível |
|
8 |
Material Type: Artigo
|
Process mining using BPMN: relating event logs and process modelsKalenkova, Anna A. ; van der Aalst, Wil M. P. ; Lomazova, Irina A. ; Rubin, Vladimir A.Software and systems modeling, 2017-10, Vol.16 (4), p.1019-1048 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Artigo
|
Designing a smart risk analysis method for gas chlorination units of water treatment plants with combination of Failure Mode Effects Analysis, Shannon Entropy, and Petri Net ModelingGheibi, Mohammad ; Karrabi, Mohsen ; Eftekhari, MohammadEcotoxicology and environmental safety, 2019-04, Vol.171, p.600-608 [Periódico revisado por pares]Netherlands: Elsevier IncTexto completo disponível |
|
10 |
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 |