post_parent): $temp_content = $post->post_content; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[1]; $temp_content = explode("

",$temp_content); $temp_content = $temp_content[0]; $temp_content = strip_tags($temp_content); $temp_content = trim($temp_content); $authors = explode(",",$temp_content); ?> post_title));?>"> $value): ?> "> "> "> post_content); while ($parser->parse()) { if (($parser->iNodeName=="a")&&(substr_count($parser->iNodeAttributes['href'],".pdf")>0)): ?>

The formal description of systems by means of Petri-object models

Stetsenko I.V.

The article considers the new formal methods for system‘s description based on object-oriented methodology and stochastic timed Petri net. The state equation of stochastic timed Petri net with conflict and multi-transitions is received. The concept of Petri-object is proposed and construction technology of simulation model with Petri-objects using is developed.


Full text (pdf)