Search academic texts

Information × Registration Number 0213U004037, 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. Developed in the implicit form the universal unfolding Petri net 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