Search academic texts

Information × Registration Number 0213U004036, 0112U005232 , R & D reports Title Petri Net Based Production Control and Management popup.stage_title Head Zaitsev Dmitry A., Registration Date 25-01-2013 Organization International Humanitarium University popup.description2 The objects of research are processes of automated manufacturing, especially, details' processing, their automated delivery and storing. The algorithm of universal unfolding Petri net work was developed that for a given Petri net implements its unfolding and builds a finite prefix of the branching process, aimed to following analyses of models' properties, especially, search of deadlocks and forcing ideal properties such as liveness. The results of the work are destined for use in modern production control systems. Product Description popup.authors Захаров Володимир Ігорович Літвін Дмитро Олександрович popup.nrat_date 2020-04-02 Close