CN106934513A - Virtual enterprise BPM modeling methods based on stochastic colored Petri net - Google Patents
Virtual enterprise BPM modeling methods based on stochastic colored Petri net Download PDFInfo
- Publication number
- CN106934513A CN106934513A CN201511029110.1A CN201511029110A CN106934513A CN 106934513 A CN106934513 A CN 106934513A CN 201511029110 A CN201511029110 A CN 201511029110A CN 106934513 A CN106934513 A CN 106934513A
- Authority
- CN
- China
- Prior art keywords
- enterprise
- flow
- petri net
- virtual
- bpm
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
- G06Q10/067—Enterprise or organisation modelling
Landscapes
- Business, Economics & Management (AREA)
- Human Resources & Organizations (AREA)
- Strategic Management (AREA)
- Engineering & Computer Science (AREA)
- Entrepreneurship & Innovation (AREA)
- Economics (AREA)
- Game Theory and Decision Science (AREA)
- Educational Administration (AREA)
- Development Economics (AREA)
- Marketing (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Tourism & Hospitality (AREA)
- Physics & Mathematics (AREA)
- General Business, Economics & Management (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The present invention provides a kind of virtual enterprise BPM modeling methods based on stochastic colored Petri net, comprises the following steps:Ordinary Petri net is extended, a kind of stochastic colored Petri net is defined;Information system for the traditional forms of enterprises has information island, flow, and by business process management system, this novel information administrative skill is applied in virtual enterprise, the virtual enterprise process model set up based on BPM systems.The present invention proposes a kind of analysis method of stochastic colored Petri net, the process model is modeled and analyzed using the method, the system performance analysis data of model are obtained, the method extends BPM systematic differences field, and for the structure of virtual enterprise provides method.
Description
Technical field
The invention belongs to enterprise production and operation management technical field, it is related to virtual enterprise project modeling method, particularly relates to
And a kind of virtual enterprise BPM modeling methods based on stochastic colored Petri net.
Background technology
With the integration and the fast development of information technology of global economy, virtual enterprise has turned into 21 century enterprise and has entered
Row production and operation and the main operating mode of market competition, it is one the provisional cooperative association of dynamic, by member
Joint adventure and shared resource reach mutual supplement with each other's advantages between enterprise, the purpose quickly seized market opportunity.How from Service Quality
Optimal cooperative enterprise is selected to be produced in the different candidate enterprise of amount (such as production cost, production time and product quality)
Product are produced, and are successfully crucial virtual enterprises.
Information system is the basis that virtual enterprise realizes high efficiency operation, but traditional information system has information orphan
The problems such as island, flow solidify.With the development of information technology, with SOA (Service Oriented Architecture) and work
BPM (Business process management) technology based on flowing gradually is risen.《Business process
management(BPM)standards:a survey》The ability that BPM provides management process for enterprise is pointed out, its life cycle
Including process modeling, execution, management, 4 parts of optimization, realization is continuously improved to flow.Sent out as information system of future generation
The new direction of exhibition, BPM systems will produce material impact, document to the realization of virtual enterprise《Advances in business
process management》BPM is proposed in following several main development directions, one of them is exactly it in virtual enterprise
In application.But at present, the research for BPM in virtual enterprise is less, and lacks corresponding model description, therefore, this
Invention proposes a kind of virtual enterprise information system operation framework with BPM as technical foundation, and sets up the process model of this framework.
《The GAIA methodology for agent-oriented analysis and design》Propose due to
The features such as virtual enterprise information system has member's isomery, structure change complicated, traditional UML, entity-relation
The need for the modeling methods such as model are difficult to meet virtual enterprise information system modeling.Enterprise modeling is to obtain enterprise's aspect
Description and abstract activity is carried out to enterprise, wherein, process model building accurately describes the business process of enterprise, is that enterprise enters
The important foundation of row process analysis procedure analysis, optimization and control.Petri network is a kind of graphical, modeling language of mathematicization, using visual
Change figure description, the mathematical method for being formalized is supported, the static structure and dynamic that can express discrete event dynamic system become
Change, it is adaptable to analyze the static state and dynamic problem of business events process.《Virtual Enterprise Workflow process based on Petri-net
Design》By Petri network, the design of Virtual Enterprise Workflow system is successfully completed.But for complicated asynchronous and
For the enterprise information system of row and synchronized relation, it is excessive that common Petri net model has a scale, and lacks analysis system
The problems such as mathematical method of performance of uniting.In order to overcome the shortcomings of ordinary Petri net, people have studied a variety of High Level Petri Nets,
Wherein, Colored Petri Net reduces system scale by introducing color Tokken.Stochastic Petri net is by the transition introducing time
Characteristic, for the assessment of model performance provides effective instrument.
The content of the invention
The technical problems to be solved by the invention are:In order to overcome deficiency of the prior art, traditional information system is solved
System there is information island, flow, Colored Petri Net and stochastic Petri net are combined, using the two
Advantage, proposes a kind of model analysis method of stochastic colored Petri net, and virtual enterprise BPM systems are carried out with the method
Modeling and analysis.
The present invention solves its technical problem technical scheme to be taken:Virtual enterprise based on stochastic colored Petri net
Industry BPM builds
Mould method, comprises the following steps:
Step 1:Ordinary Petri net is extended, definition stochastic colored Petri net be eight tuple SCPN=P, DT,
ST, MT, A, C, E, M0, wherein:P is place finite aggregate;DT is determination timed transition set;ST is timed transition set;MT
It is immediate transition set;A is arc set;C is color set;E is arc expression formula;M0It is initial marking;
Step 2:The transition triggering rule of SCPN, the reference numerals in transition input position have to be larger than or equal on input arc
Arc expression formula, and meet color requirement, SCPN due to transition triggering and change its mark;
Step 3:According to user's request, using stochastic colored Petri net, the virtual enterprise set up based on BPM systems
Process model.
Further, the Tokken in the step 1 in its mark in each place all carries color.
Further, specifically included in the step 1 and ordinary Petri net is extended, construct stochastic colored Petri net
Model.
Further, specifically included in the step 3:
Step 3.1, the building process SCPN models for building virtual enterprise are as follows:
SCPN1={ P, ST, A, C, E, M0,
Wherein, P={ P0, P1, P2, P3, P4, P5, T={ T0, T1, T2, T3, T4, P0:Catch the market opportunity, P1:Wait and signing
Order cooperation agreement, P2:Prepare to choose cooperative enterprise, P3:The cooperative enterprise information bank that can be chosen, P4:Cooperative enterprise to be selected is carried out
Assessment, P5:Virtual enterprise is set up and is completed, T0:Carry out demand analysis, T1:Choose cooperative enterprise, T2:Assessment does not pass through, and selects again
Take, T3:Assessment passes through, and concludes cooperation agreement, T4:Next market opportunity is resumed waiting for, C={ PH, CS }, PH, CS is respectively and disappears
Breath color set and the cooperative enterprise information color collection that can choose, it is timed transition that all changes are moved the capital to another place, its time delay coefficient be set to (2,5,
7,3,10);
Step 3.2, the process operation SCPN models for building virtual enterprise are as follows:
SCPN2={ P, ST, A, C, E, M0,
Wherein, P={ P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, T={ T0, T1, T2, T3, T4, T5, T6,
T7, P0:Core company procedure information, P1:Member enterprise's procedure information, P2:Flow scheme design is completed, P3:Core company process resources
Storehouse, P4:Core company flow instance, P5:Member enterprise's flow instance, P6:Member enterprise's process resources storehouse, P7:Leader looks forward to
Industry flow performs completion, P8:Member enterprise's flow performs completion, P9:Flow collects completion, P10:Core company process optimization,
P11:Member enterprise's process optimization, T0:Carry out flow scheme design, T1:Flow performs preparation, notifies that member enterprise starts to perform flow,
T2:Core company flow is performed, T3:Member enterprise's flow is performed, T4:Flow collects, T5:Core company flow updates, T6:Member
Corporate process updates, T7:Flow performs data analysis, and C={ PH, CS }, PH, CS is respectively core company information resources color set
With member enterprise's information resources color set, it is timed transition that all changes are moved the capital to another place, its time delay coefficient be set to (3,6,1,1,2,7,7,
4)。
The beneficial effect brought using above-mentioned technical proposal:
(1) BPM systems are incorporated into virtual enterprise, using the technical concept advantage of BPM so that enterprise overcomes traditional letter
The shortcoming of breath system, can seize market opportunity in fierce market competition;
(2) process model is set up to virtual enterprise BPM systems using stochastic colored Petri net, extends it and built in system
Effect field on mould, reflects the characteristic of system operation, has embodied the operation characteristic of this Inter-Organizational Process of virtual enterprise,
The whole service process of understanding system and the operating mechanism of virtual enterprise are made one, is grinding for virtual enterprise and BPM correlation theories
Study carefully and develop there is provided some new approach and new thinking.
Brief description of the drawings
The invention will be further described with reference to the accompanying drawings and examples.
Fig. 1 is the operation Organization Chart of the virtual enterprise with BPM systems as core of present invention definition.
Fig. 2 be the present invention set up Petri net model is set up to the building process of virtual enterprise with CPN Tool softwares.
Fig. 3 is the process operation model schematic of the virtual enterprise Petri net model that the present invention is given.
Specific embodiment
Further to illustrate the present invention to reach technological means and effect that predetermined goal of the invention is taken, with reference to
Drawings and Examples, to according to the specific of the virtual enterprise BPM modeling methods based on stochastic colored Petri net proposed by the present invention
Implementation method, elaborates.It is simplified schematic diagram with figure, basic structure of the invention is only illustrated in a schematic way, therefore
It only shows the composition relevant with the present invention.
As shown in figure 1, a kind of virtual enterprise BPM modeling methods based on stochastic colored Petri net of the invention, give first
Go out the virtual enterprise operation Organization Chart with BPM systems as core.
In this framework, each enterprise is the information management system of oneself all with BPM systems, and member enterprise is by the excellent of oneself
Gesture procedure information is published on network in the form of services, core company by network find oneself need service procedure after with
Service provides enterprise and signs contract, and overall process modeling is carried out by the procedure information for calling member enterprise to provide.
After flow brings into operation, core company notifies that member enterprise runs provided service procedure, finally collects completion
Whole flow process, core company and member enterprise analysis process perform data streams journey and optimize or weight after flow is finished
New design, prepares the process flow operation of virtual enterprise next time.
In whole process, BPM systems are responsible for flow scheme design, and business function is packaged as into service, and when flow is performed
Management process is run, and collects flow and performs the functions such as data and process optimization.
A kind of virtual enterprise BPM modeling methods based on stochastic colored Petri net of the invention, comprise the following steps:
Step 1:Ordinary Petri net is extended, definition stochastic colored Petri net is eight tuples
SCPN={ P, DT, ST, MT, A, C, E, M0}
P is place finite aggregate;
DT is determination timed transition set;
ST is timed transition set;
MT is immediate transition set;
A is arc set;
C is color set;
E is arc expression formula;
M0It is initial marking;
Step 2:The transition triggering rule of SCPN, the reference numerals in transition input position have to be larger than or equal on input arc
Arc expression formula, and meet color requirement, SCPN due to transition triggering and change its mark;
Step 3:According to user's request, using stochastic colored Petri net, the virtual enterprise set up based on BPM systems
Process model.
Specifically included in step 3:
Step 3.1, builds the building process model of virtual enterprise, and main description needs the core company of Virtual enterprise
The operation of member enterprise is found by network;
SCPN models are set up to the building process of virtual enterprise with CPN Tool softwares:
SCPN1={ P, ST, A, C, E, M0}
Wherein, P={ P0, P1, P2, P3, P4, P5, T={ T0, T1, T2, T3, T4, as shown in Figure 2.
Place and the implication of transition are as shown in table 1 in Virtual Enterprise Building process Petri net model,
Table 1
In Fig. 2, PH, CS is respectively message color set and the cooperative enterprise information color collection that can be chosen, and ph (1) represents operation
During transmit message, P0Represent that core company is waiting the market opportunity, when there is the market opportunity, core company catches machine
Chance carries out business diagnosis, and color Tokken cs (1) represents the service procedure that 2 different enterprises provide with cs (2), and core company passes through
P4Service procedure to enterprise is estimated, and if assessment passes through, core company is ordered with the enterprise for providing this service procedure
Vertical cooperation agreement.
Setting transition time delay coefficient lambda=(2,5,7,3,10).
The reachable map logo of this model, as shown in table 2.
Table 2
It is living to understand that all of change of this model is moved the capital to another place after being emulated by CPN Tool, and all places are all bounded
's.
Each mark M can be obtainediThe probability of stability be:P(M0)=0.3947, P (M1)=0.2631, P (M2)=
0.1316, P (M3)=0.1316, P (M4)=0.0395, P (M5)=0.0395.
On the basis of the probability of stability is solved, place P is represented with pr0, P1, P2, P3, P4, P5In the probability containing Tokken be:
Pr(P0=1 ' ph (1))=0.3947, Pr (P1=1 ' ph (1))=0.5263
Pr(P2=1 ' ph (1))=0.3947, Pr (P3The cs (2) of=1 ' cs (1)+1 ')=0.6578
Pr(P3=1 ' cs (1))=Pr (P3=1 ' cs (2))=0.1711,
Pr(P4=1 ' cs (1))=Pr (P4=1 ' cs (2))=0.1316
Pr(P5=1 ' cs (1))=Pr (P5=1 ' cs (2))=0.0395
PiIn there is Tokken to represent place P in modeliIn use state.
Make K1It is the enterprises service procedure information utilization rate that can be chosen.
Obtained by Fig. 2, K1={ P3=1 ' cs (1)+1 ' cs (2), P3=1 ' cs (1), P3=1 ' cs (2) }, P (K can be obtained1)=Pr
(P3The cs (2) of=1 ' cs (1)+1 ')+Pr (P3=1 ' cs (1))+Pr (P3=1 ' cs (2))=1.
It is the probability sum that all places contain Tokken to make Pn, obtains Pn=2.6579, can finally obtain P (K1)/Pn=
0.3762,
By result of calculation as can be seen that the service procedure information resources utilization rate during whole Virtual Enterprise Building is
37.62%, illustrate that the access efficiency of service procedure information resources is not high, because the inquiry of enterprises service procedure information is to pass through
Network is carried out, and the service efficiency for improving service procedure information resources will be helpful to accelerate the establishment efficiency of virtual enterprise, so that
Connect the income for improving virtual enterprise.
Step 3.2, builds the process operation model of virtual enterprise, and the virtual enterprise of cooperation agreement has been concluded in main description
Industry completes the process of collaborative project by BPM system operations operation flow.
After Virtual Enterprise Building completion, virtual enterprise initially enters the process flow operation stage, and core company and member look forward to
Industry begins through BPM system administration process flow operations, completes collaborative project, and its SCPN model is as follows:
SCPN2={ P, ST, A, C, E, M0,
Wherein, P={ P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, T={ T0, T1, T2, T3, T4, T5, T6,
T7, as shown in Figure 3.
Now place and the implication of transition are as shown in table 3 in Virtual Enterprise Building process Petri net model,
Table 3
In Fig. 3, PH, CS is respectively core company information resources color set and member enterprise's information resources color set, ph (1)
With the process messages that cs (1) represents core company and member enterprise, ph (2) and cs (2) expression core companies and member enterprise
Process resources.
After core company obtains the service procedure information of member enterprise, combined with the procedure information of oneself, carried out ensemble stream
Journey is designed, and performing preparatory stage notice member enterprise in flow after the completion of flow scheme design carries out the operation of flow, afterwards leader enterprise
Industry and member enterprise each call the process resources of oneself carry out flow instantiation and operational process, as core company and member
The flow of enterprise is all run after finishing and is collected by core company.
After whole flow process operation is finished, core company and member enterprise are analyzed by performing data to flow, excellent
Change the flow of oneself, the resource distribution of more new technological process and description information, be ready for process flow operation next time.
Here setting changes time delay coefficient lambda=(3,6,1,1,2,7,7,4).
The reachable map logo of this model, as shown in table 4,
Table 4
Each mark MiThe probability of stability be:P(M0)=0.1124, P (M1)=0.0562, P (M2)=0.1687, P
(M3)=0.1687, P (M4)=0.1687, P (M5)=0.1687, P (M6)=0.0843, P (M7)=0.0241, P (M8)=
0.0241, P (M9)=0.0241.
On the basis of the probability of stability is solved, place P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11In contain Tokken
Probability be:
Pr(P0=1 ' ph (1))=0.1365, Pr (P1=1, cs (1))=0.1365
Pr(P2=1 ' ph (1))=0.0562, Pr (P3=1 ' ph (2))=0.5301
Pr(P4=1 ' ph (1))=0.3374, Pr (P5=1 ' cs (1))=0.3374
Pr(P6=1 ' cs (2))=0.5301, Pr (P7=1 ' ph (1))=0.3374
Pr(P8=1 ' cs (1))=0.3374, Pr (P9=1 ' ph (1))=0.0843
Pr(P10=1 ' ph (1))=0.0482, Pr (P11=1 ' cs (1))=0.0482
Make K2It is the corporate process resource utilization that can be chosen.Obtained by Fig. 3, K2={ P3=1 ' ph (2), P6=1 ' cs
(2) P (K can }, be obtained2)=Pr (P3=1 ' ph (2))+Pr (P6=1 ' cs (2))=1.0602.
It is the probability sum that all places contain Tokken to make Pm, obtains Pm=2.6467, can finally obtain P (K1)/Pm=
0.4005,
By result of calculation as can be seen that the corporate process resource utilization during whole virtual enterprise process flow operation is
0.05%, its level of resources utilization is not high, and this is because in BPM, flow scheme design and optimization manage process in whole flow process
Middle occupancy long time, now process resources be most likely in idle condition.
Therefore, for the enterprise with BPM as information management system, if can be effective in flow scheme design and optimizing phase
Using idle process resources, it would be possible to the on-road efficiency of enterprise is further improved.
Claims (4)
1. the virtual enterprise BPM modeling methods of stochastic colored Petri net are based on, it is characterised in that comprised the following steps:
Step 1:Ordinary Petri net is extended, definition stochastic colored Petri net be eight tuple SCPN=P, DT, ST, MT,
A, C, E, M0, wherein:P is place finite aggregate;DT is determination timed transition set;ST is timed transition set;MT is instantaneous
Transition set;A is arc set;C is color set;E is arc expression formula;M0It is initial marking;
Step 2:The transition triggering rule of SCPN, the reference numerals in transition input position have to be larger than or equal to the arc on input arc
Expression formula, and meet color requirement, SCPN changes its mark due to transition triggering;
Step 3:According to user's request, using stochastic colored Petri net, the virtual enterprise process set up based on BPM systems
Model.
2. the virtual enterprise BPM modeling methods of stochastic colored Petri net are based on as claimed in claim 1, it is characterised in that institute
State the Tokken in step 1 in its mark in each place and all carry color.
3. the virtual enterprise BPM modeling methods of stochastic colored Petri net are based on as claimed in claim 1, it is characterised in that institute
To state specifically include in step 1 and ordinary Petri net is extended, construct stochastic colored Petri net model.
4. the virtual enterprise BPM modeling methods of stochastic colored Petri net are based on as claimed in claim 1, it is characterised in that institute
State and specifically include in step 3:
Step 3.1, the building process SCPN models for building virtual enterprise are as follows:
SCPN1={ P, ST, A, C, E, M0),
Wherein, P={ P0, P1, P2, P3, P4, P5), T={ T0, T1, T2, T3, T4), P0:Catch the market opportunity, P1:Wait signing and close
Make agreement, P2:Prepare to choose cooperative enterprise, P3:The cooperative enterprise information bank that can be chosen, P4:Cooperative enterprise to be selected is commented
Estimate, P5:Virtual enterprise is set up and is completed, T0:Carry out demand analysis, T1:Choose cooperative enterprise, T2:Assessment does not pass through, and chooses again,
T3:Assessment passes through, and concludes cooperation agreement, T4:Resume waiting for next market opportunity, C=PH, CS), PH, CS is respectively message
Color set and the cooperative enterprise information color collection that can be chosen, it is timed transition that all changes are moved the capital to another place, its time delay coefficient be set to (2,5,7,
3,10);
Step 3.2, the process operation SCPN models for building virtual enterprise are as follows:
SCPN2={ P, ST, A, C, E, M0,
Wherein, P={ P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, T={ T0, T1, T2, T3, T4, T5, T6, T7, P0:
Core company procedure information, P1:Member enterprise's procedure information, P2:Flow scheme design is completed, P3:Core company process resources storehouse, P4:
Core company flow instance, P5:Member enterprise's flow instance, P6:Member enterprise's process resources storehouse, P7:Core company flow
Perform completion, P8:Member enterprise's flow performs completion, P9:Flow collects completion, P10:Core company process optimization, P11:Member
Corporate process optimizes, T0:Carry out flow scheme design, T1:Flow performs preparation, notifies that member enterprise starts to perform flow, T2:Leader
Corporate process is performed, T3:Member enterprise's flow is performed, T4:Flow collects, T5:Core company flow updates, T6:Member enterprise flows
Cheng Gengxin, T7:Flow performs data analysis, and C={ PH, CS }, PH, CS is respectively core company information resources color set and member
Enterprise Information Resources color set, it is timed transition that all changes are moved the capital to another place, and its time delay coefficient is set to (3,6,1,1,2,7,7,4).
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201511029110.1A CN106934513A (en) | 2015-12-29 | 2015-12-29 | Virtual enterprise BPM modeling methods based on stochastic colored Petri net |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201511029110.1A CN106934513A (en) | 2015-12-29 | 2015-12-29 | Virtual enterprise BPM modeling methods based on stochastic colored Petri net |
Publications (1)
Publication Number | Publication Date |
---|---|
CN106934513A true CN106934513A (en) | 2017-07-07 |
Family
ID=59442230
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201511029110.1A Pending CN106934513A (en) | 2015-12-29 | 2015-12-29 | Virtual enterprise BPM modeling methods based on stochastic colored Petri net |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106934513A (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107944847A (en) * | 2018-01-17 | 2018-04-20 | 重庆满惠网络科技有限公司 | A kind of method and system that workflow circulation is participated in based on Virtual Organization |
CN111062038A (en) * | 2019-11-23 | 2020-04-24 | 同济大学 | Intelligent contract formalization verification system and method based on state space |
CN112365704A (en) * | 2020-06-04 | 2021-02-12 | 同济大学 | Road traffic modeling method, system, medium and terminal based on Petri network |
-
2015
- 2015-12-29 CN CN201511029110.1A patent/CN106934513A/en active Pending
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107944847A (en) * | 2018-01-17 | 2018-04-20 | 重庆满惠网络科技有限公司 | A kind of method and system that workflow circulation is participated in based on Virtual Organization |
CN111062038A (en) * | 2019-11-23 | 2020-04-24 | 同济大学 | Intelligent contract formalization verification system and method based on state space |
CN112365704A (en) * | 2020-06-04 | 2021-02-12 | 同济大学 | Road traffic modeling method, system, medium and terminal based on Petri network |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108537440A (en) | A kind of building scheme project management system based on BIM | |
CN107368967A (en) | Engineering safety quality inspection intelligent management based on internet | |
CN109871200A (en) | One kind being used for rapid build business approval systems approach | |
CN103390037B (en) | Ten thousand people's Collaborative Plotting methods based on mobile terminal | |
CN104573892A (en) | Whole process visual project management system for engineering construction | |
CN106934513A (en) | Virtual enterprise BPM modeling methods based on stochastic colored Petri net | |
CN103995886B (en) | A kind of various dimensions product-design knowledge pushes framework and construction method | |
Duan et al. | An evaluation approach to spatial identity in historic urban areas from a humanistic perspective | |
Lee et al. | Mediator approach to direct workflow simulation | |
Wang et al. | Evolutionary game study on multi-agent value co-creation of service-oriented digital transformation in the construction industry | |
CN109034551A (en) | Equilibrium of stock method for construction plan establishment | |
Arokiasamy et al. | Knowledge Management and Firm Innovativeness: The Mediating Role of Innovative Culture on MNEs in Malaysia | |
CN105719031A (en) | Workflow management technique based on trans-regional and trans-company flow cooperation | |
CN109636078A (en) | The flow logic of rule-based frame | |
Zhao | Resource sharing strategy of regional scientific and technological innovation based on big data analysis platform | |
CN106384229A (en) | APP operation method for quickly judging building information in entire life cycle of building | |
Yuxin et al. | The Integrated Development of Digital Economy and China's Textile Manufacturing Industry: Based on the Experience of Shaoxing, Zhejiang Province | |
Park et al. | Performance evaluation index of TRM: a Korean case for SMEs | |
Thierstein et al. | Interlocking firm networks in the German knowledge economy: the case of the emerging mega-city region of Munich | |
CN101699404A (en) | Building and simulation method of large-scale communication network simulation model | |
Wang et al. | Developments in the Built Environment | |
Yanlun | Research on the Impact of Project Management Scheme Selection on Project Economic Achievements Based on Information Construction | |
An | Material Scheduling Using Numerical PDDL | |
Boulanger et al. | Collaborations and Cultural Heritage | |
Perego | IS Success Evaluation: Theory and Practice |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
WD01 | Invention patent application deemed withdrawn after publication | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20170707 |