Z. Hongjun's research while affiliated with University of the Nations and other places

What is this page?
This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.

It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.

If you're a ResearchGate member, you can follow this page to keep up with this author's work.

If you are this author, and you don't want us to display this page anymore, please let us know.

Publication (1)

Market-driven symbolic execution of models of manufacturing enterprises
Conference Paper
  • Jan 1999
We apply formal description techniques (FDT) to model, compose and give operational meaning to the class of reactive systems representing manufacturing enterprises. The enterprise pursues its activities by means of resources and processes that execute concurrently on the resources, subject to internal (resource) and external (market) constraints. S...
Cite
Request full-text

Citations

... Although we presented the model formally, we only explained informally its semantics. Formal semantics of the model is subject of the companion paper [12]. But several other aspects invite extensions, in particular: describing shopfloor scheduling in the model, extending attributes of customer goals by timing constraints, logistics constraints for cooperation between the enterprises, competition and marketing activities (discussed in [11]), product lifecycle, inter-process synchronisation, process creation and so on. ...
Reference: Modelling an Extended/Virtual Enterprise by the Composition of Enterprise Models
View