Software modeling and analysis using a hierarchical object-oriented Petri net

DOI10.1016/S0020-0255(00)00090-6zbMath0984.68192OpenAlexW2115844331MaRDI QIDQ5946273

Jang-Eui Hong, Doo-Hwan Bae

Publication date: 14 May 2002

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0255(00)00090-6

zbMATH Keywords

requirement analysishierarchical object-oriented Petri netincremental analysissoftware modeling

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Mapping PUNITY to UniNet

Uses Software

• ML
• LOOPN++

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item