메뉴 건너뛰기




Volumn 24, Issue 6, 2004, Pages 1719-1735

MORM - A Petri net based model for assessing OH&S risks in industrial processes: Modeling qualitative aspects

Author keywords

Industrial processes; Modeling; Occupational health and safety; Petri nets

Indexed keywords

AUTOMATION; HAZARDS; MAN MACHINE SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; OCCUPATIONAL RISKS; OPTIMIZATION; PETRI NETS;

EID: 11344290363     PISSN: 02724332     EISSN: None     Source Type: Journal    
DOI: 10.1111/j.0272-4332.2004.00562.x     Document Type: Review
Times cited : (16)

References (20)
  • 2
    • 11344294633 scopus 로고
    • Springfield, VI: National Technical Information Service
    • U.S. Nuclear Regulatory Commission. (1975). Accident Definition and Use for Event Trees. Springfield, VI: National Technical Information Service.
    • (1975) Accident Definition and Use for Event Trees
  • 8
    • 0001839355 scopus 로고
    • Fundamentals of a Theory of Asynchronous Information Flow
    • Amsterdam: North Holland
    • Petri, C. A. (1963). Fundamentals of a Theory of Asynchronous Information Flow. In Proceedings of IFIP Congress 62 (pp. 386-390). Amsterdam: North Holland.
    • (1963) Proceedings of IFIP Congress , vol.62 , pp. 386-390
    • Petri, C.A.1
  • 16
    • 0037409428 scopus 로고    scopus 로고
    • Perspectives in the use of coloured Petri nets for risk analysis and accident modeling
    • Vernez, D., Buchs, D., & Pierrehumbert, G. (2003). Perspectives in the use of coloured Petri nets for risk analysis and accident modeling. Safety Science, 41, 445-463.
    • (2003) Safety Science , vol.41 , pp. 445-463
    • Vernez, D.1    Buchs, D.2    Pierrehumbert, G.3
  • 17
    • 0034228485 scopus 로고    scopus 로고
    • A formal specification framework for object-oriented distributed systems
    • Buchs, D., & Guelfi, N. (2000). A formal specification framework for object-oriented distributed systems. IEEE Transactions on Software Engineering, 26, 635-651.
    • (2000) IEEE Transactions on Software Engineering , vol.26 , pp. 635-651
    • Buchs, D.1    Guelfi, N.2
  • 19
    • 0002389125 scopus 로고    scopus 로고
    • Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism
    • G. Agha, F. De Cindio, & G. Rozenberg (Eds.), Berlin: Springer-Verlag. (Lecture Notes in Computer Science; Vol. 2001)
    • Biberstein, O., Buchs, D., & Guelfi, N. (2001). Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. In G. Agha, F. De Cindio, & G. Rozenberg (Eds.), Advances in Petri Nets on Object-Orientation (pp. 70-127). Berlin: Springer-Verlag. (Lecture Notes in Computer Science; Vol. 2001.)
    • (2001) Advances in Petri Nets on Object-Orientation , pp. 70-127
    • Biberstein, O.1    Buchs, D.2    Guelfi, N.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.