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

Hong, Jang-Eui; Bae, Doo‐Hwan

doi:10.1016/s0020-0255(00)00090-6

Cited by 53 publications

(48 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this chapter, our work is based on the Merlin's TPN and Hong's OPN which is called HOONet (Hong & Bae, 2000). A time Petri net is also a tuple TPN= (PN, SI).…”

Section: High-level Petri Netsmentioning

confidence: 99%

“…Like the HOONet, TOPN is composed of four parts: object identification place (OIP) is a unique identifier of a class; internal timed object net (ION) is a net to depict the behaviors (methods) of a class; data dictionary (DD) declares the attributes of a class in TOPN; and static time interval function (SI) binds the temporal knowledge of a class in TOPN. (Hong & Bae, 2000). 4.…”

Section: Timed Hierarchical Object-oriented Petri Netmentioning

confidence: 99%

“…6. M 0 is a function giving an initial marking to any place the same as those in HOONet (Hong & Bae, 2000). Similar to common OPNs, basic OPN components and additional restricting conditions are included in the detailed ION structure.…”

Section: Timed Hierarchical Object-oriented Petri Netmentioning

confidence: 99%

“…An enabled transition in TOPN may or may not fire depending on the additional interpretation (Merlin & Farber, 1976) (Bucci & Vivario, 1995) (Harel & Gery, 1996), and b. The relative time , relative to the absolute enabling time , is not smaller than the earliest firing time (EFT) of transition t i , and not greater than the smallest of the latest firing time (LFT) of all the transitions enabled by marking M (Hong & Bae, 2000): EFT of t i min (LFT of t k ) where k ranges over the set of transitions enabled by M, the same as (Hong & Bae, 2000). c. After a transition t i (common one or abstract one) in TOPN is fired at a time , TOPN changes to a new state.…”

Section: Enabling Rules and Firing Rulesmentioning

confidence: 99%

“…These years, the objectoriented formal methods such as object Petri nets (OPN) (Bastide, 1995), VDM++ (Harel & Gery , 1996), Object-Z (Schuman, 1997), etc are suggested. Among the studies, the research on OPN has been focused on the extending Petri net formalism to OPN such as HOONet (Hong & Bae, 2000), OBJSA (Battiston et al 1988), COOPN/2 (Biberstein & Buchs, 1994) and LOOPN++ (Lakos & Keen, 1994), which are suggested on the base of colored Petri Net (CPN) (Jensen, 1992). Object-oriented Petri net (OPN) can model different systems easily, intuitively and naturally.…”

mentioning

confidence: 99%

See 4 more Smart Citations

Timed Hierarchical Object-Oriented Petri Net

Xu¹

2008

Petri Net, Theory and Applications

View full text Add to dashboard Cite

“…In this chapter, our work is based on the Merlin's TPN and Hong's OPN which is called HOONet (Hong & Bae, 2000). A time Petri net is also a tuple TPN= (PN, SI).…”

Section: High-level Petri Netsmentioning

confidence: 99%

Section: Timed Hierarchical Object-oriented Petri Netmentioning

confidence: 99%

Section: Timed Hierarchical Object-oriented Petri Netmentioning

confidence: 99%

Section: Enabling Rules and Firing Rulesmentioning

confidence: 99%

mentioning

confidence: 99%

See 3 more Smart Citations

Timed Hierarchical Object-Oriented Petri Net

Xu¹

2008

Petri Net, Theory and Applications

View full text Add to dashboard Cite

A method for describing industrial control system network attack using object Petri net

Chen

et al. 2015

IEEJ Transactions Elec Engng

View full text Add to dashboard Cite

Nowadays, the threats industrial control systems face from the inside and outside are becoming more and more serious. However, there are very few works describing industrial control system network attacks, which in turn make it very essential for industrial control system network attack researches to describe and model such attacks. This paper proposes an approach to describe the procedure of industrial control system network attacks using the object Petri net, and takes a case study of smart substation attack as example to help introduce this method of description and modeling. This method adopts a hierarchical form of Petri net to describe the entire process of a network attack, which can control the scale of the Petri net model effectively and can describe the attack process in more detail and accurately at the same time.

show abstract

Fuzzy Timed Object-Oriented Petri Net

Jia

IFIP — The International Federation for Information Processing

View full text Add to dashboard Cite

The goal of this work is to extend a model of timed object-oriented Petri nets (TOPN) to allow modeling and analyzing dynamic systems with timing effect on system information. In the proposed Fuzzy timed object-oriented Petri net (FTOPN), we attach temporal fuzzy sets to each transition objects accounting for the aging of information. In particular, we investigate a new way to represent and deal with timing effect in dynamic systems. FTOPN also supports learning similar to that in fuzzy timed Petri net (FTPN). Finally, we use FTOPN to model a real decision making model of our cooperative multiple robot system (CMRS) to demonstrate its following benefits: independent training for its supporting object abstraction and size reconfiguration for its object granularity control function.

show abstract

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

Cited by 53 publications

References 14 publications

Timed Hierarchical Object-Oriented Petri Net

Timed Hierarchical Object-Oriented Petri Net

A method for describing industrial control system network attack using object Petri net

Fuzzy Timed Object-Oriented Petri Net

Contact Info

Product

Resources

About