-
1Academic Journal
المؤلفون: Michał Markiewicz, Lesław Gniewek
المصدر: Applied Sciences; Volume 7; Issue 4; Pages: 422
مصطلحات موضوعية: Petri net, Petri net simulation, Petri net modelling, automatic program generation, programmable logic controller, discrete event systems
جغرافية الموضوع: agris
وصف الملف: application/pdf
Relation: https://dx.doi.org/10.3390/app7040422
الاتاحة: https://doi.org/10.3390/app7040422
-
2Academic Journal
المؤلفون: Nguyen, Thi Phuong Khanh, Beugin, Julie, Marrais, Juliette
المساهمون: Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (IFSTTAR/COSYS/ESTAS), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-PRES Université Lille Nord de France, Laboratoire Électronique Ondes et Signaux pour les Transports (IFSTTAR/COSYS/LEOST)
المصدر: ISSN: 0951-8320.
مصطلحات موضوعية: Dynamic & time dependent Fault Tree, Repairable & multi-state components, Petri net modelling, Monte Carlo simulation, Dependability analysis, GNSS-based localisation unit, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [SPI.GCIV.IT]Engineering Sciences [physics]/Civil Engineering/Infrastructures de transport
Relation: hal-01886816; https://hal.science/hal-01886816; https://hal.science/hal-01886816/document; https://hal.science/hal-01886816/file/Nguyen_19979.pdf; OATAO: 19979
-
3Report
مصطلحات موضوعية: Other information and computing sciences not elsewhere classified, Time management, Petri net modelling and analysis
Relation: https://figshare.com/articles/report/A_concept_of_time_in_workflow_modelling_and_analysis/20707909
-
4Academic Journal
المؤلفون: Seng W. Loke, Sea Ling
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Key words, Device ecology, workflow, Petri net modelling, analysis
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.9974; http://www.csse.monash.edu.au/~swloke/writings/iceis04-deco.pdf
-
5
المؤلفون: Juliette Marais, Julie Beugin, T.P. Khanh Nguyen
المساهمون: Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux - IFSTTAR (FRANCE), Évaluation des Systèmes de Transports Automatisés et de leur Sécurité (IFSTTAR/COSYS/ESTAS), Institut Français des Sciences et Technologies des Transports, de l'Aménagement et des Réseaux (IFSTTAR)-PRES Université Lille Nord de France, Laboratoire Électronique Ondes et Signaux pour les Transports (IFSTTAR/COSYS/LEOST)
المصدر: Reliability Engineering and System Safety
Reliability Engineering and System Safety, Elsevier, 2015, 133, pp.300-313. ⟨10.1016/j.ress.2014.09.019⟩مصطلحات موضوعية: Fault tree analysis, Engineering, Process (engineering), business.industry, Reliability (computer networking), Monte Carlo method, Complex system, Repairable & multi-state components, Monte Carlo simulation Dependability analysis GNSS-based localisation unit, Petri net, Industrial and Manufacturing Engineering, Reliability engineering, [SPI.GCIV.IT]Engineering Sciences [physics]/Civil Engineering/Infrastructures de transport, GNSS-based localisation unit, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], Dependability, Satellite, Robotique, Safety, Risk, Reliability and Quality, business, Dynamic & time dependent Fault Tree, Monte Carlo simulation, Dependability analysis, Petri net modelling
وصف الملف: application/pdf
-
6Academic Journal
المؤلفون: Wang, B.C., Sechilariu, Manuela, Locment, Fabrice
المساهمون: AVENUES (AVENUES), Université de Technologie de Compiègne (UTC)
المصدر: ISSN: 0378-4754 ; Mathematics and Computers in Simulation ; https://hal.science/hal-01955030 ; Mathematics and Computers in Simulation, 2013, 91, pp.119-133. ⟨10.1016/j.matcom.2013.01.006⟩.
مصطلحات موضوعية: Energy management, Smart grid, Photovoltaic, Petri Net modelling, Stateflow, [SPI]Engineering Sciences [physics], [SPI.NRJ]Engineering Sciences [physics]/Electric power
Relation: hal-01955030; https://hal.science/hal-01955030
-
7Academic Journal
-
8Academic Journal
المؤلفون: Y. Narahari, N. Viswanadham
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://lcm.csa.iisc.ernet.in/hari/all-publications/journals-book-chapters/A Petri net approach to the modeling.pdf.
مصطلحات موضوعية: concurrency, Petri net modelling, union of Petri nets
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.492.3493; http://lcm.csa.iisc.ernet.in/hari/all-publications/journals-book-chapters/A Petri net approach to the modeling.pdf
الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.492.3493
http://lcm.csa.iisc.ernet.in/hari/all-publications/journals-book-chapters/A Petri net approach to the modeling.pdf -
9Academic Journal
المؤلفون: KIM, YC, KIM, TG Kim, Tag-Gon
مصطلحات موضوعية: relational algebra, Petri net modelling, systems analysis, reachability tree generation
الاتاحة: http://hdl.handle.net/10203/13812
https://doi.org/10.1016/0950-5849(95)90932-K -
10Periodical
المؤلفون: Fortin, M. P., Hardy, S. V.
المصدر: Fundamenta Informaticae.
مصطلحات موضوعية: computational biology, cell signaling, hybrid Petri net modelling, simulation, mTOR, synaptic plasticity
-
11Electronic Resource
المؤلفون: Dong, Jing
المصدر: University of Wollongong Thesis Collection 1954-2016
مصطلحات الفهرس: disassembly, part accessibility, part end-of-life, petri net modelling, disassembly sequence generation, sustainability, thesis