Property Preservation and Composition with Guarantees: From ASSERT to CHESS

2009 ◽  
Author(s):  
Tullio Vardanega
Keyword(s):  
Property Preservation

PROPERTY-PRESERVING COMPOSITION BY PLACE MERGING

2005 ◽  
Vol 14 (04) ◽  
pp. 793-812 ◽  
Author(s):  
LI JIAO ◽  
HEJIAO HUANG ◽  
TO-YAT CHEUNG
Keyword(s):  
Petri Nets ◽  
Large System ◽  
Complex Task ◽  
Property Preservation ◽  
Verification Process

Place merging is an important technique of Petri nets to composite different components/subsystems into a large system. However, it is a difficult and complex task to guarantee that the composite large system can preserve desired properties. This paper avoids the verification process by a property-preservation place-merging approach. The strategy used in this paper is to require such a composition to preserve these desirable properties (including liveness and boundedness) of the components in the resulting system. Meanwhile, this paper also investigates one kind of decompositions in terms of places, some conditions are presented under which if the large system possesses some properties, then the resulting components also preserve the desirable properties without the need of further verification. An application example is given to illustrate our method and some main results.

Chemical treatment of sludge: In-depth study on toxic metal removal efficiency, dewatering ability and fertilizing property preservation

2007 ◽  
Vol 41 (9) ◽  
pp. 2028-2038 ◽  
Author(s):  
Isabel Beauchesne ◽  
Ridha Ben Cheikh ◽  
Guy Mercier ◽  
Jean-François Blais ◽  
Taha Ouarda
Keyword(s):  
Removal Efficiency ◽  
Chemical Treatment ◽  
Metal Removal ◽  
Toxic Metal ◽  
Depth Study ◽  
Property Preservation

Protection of Cultural Heritage from Post-Earthquake Fire

2011 ◽  
Vol 6 (1) ◽  
pp. 4-10 ◽  
Author(s):  
Kenzo Toki ◽  
Keyword(s):  
Cultural Heritage ◽  
Underground Water ◽  
Sprinkler System ◽  
Cultural Property ◽  
Disaster Mitigation ◽  
National Committee ◽  
Prevention Measures ◽  
Fire Control ◽  
Pressurized Water ◽  
Property Preservation

The cultural property protection field is wide and varied, with the problem of natural disaster alone often being overlooked, especially in seismic hazard measures. Cultural property preservation field experts recognize that fire-prevention measures, for example, having focused on accidental fires and arson within shrine and temple precincts that have been ineffective in preventing fires from spreading to historical buildings during simultaneous fire outbreaks in surroundings of concern during earthquakes. In 2003, the Japanese government recognized the importance of cultural heritage disaster mitigation, and a National Committee was organized whose first report was released in 2004, leading, in turn, to the first national project for protecting cultural assets against natural disasters. The project focused on two 1,500-ton underground water storage tanks near Kiyomizudera and Sanneizaka. With a pressurized water sprinkler system and other fire control facilities, the facility is expected to be used to fight fires during earthquakes and to provide easy-to-use fire hydrants for other fires.

Sign in / Sign up

Export Citation Format

Share Document