Temporal colored Petri nets, an extension of temporal Petri nets, areintroduced in this paper. It can distinguish the personality of individuals (tokens), describeclearly the causal and temporal relationships between ...Temporal colored Petri nets, an extension of temporal Petri nets, areintroduced in this paper. It can distinguish the personality of individuals (tokens), describeclearly the causal and temporal relationships between events in concurrent systems, and representelegantly certain fundamental properties of concurrent systems, such as eventuality and fairness.The use of this method is illustrated with an example of modeling and formal verification of anonline stock trading system. The functional correctness of the modeled system is formally verifiedbased on the temporal colored Petri net model and temporal assertions. Also, some main properties ofthe system are analyzed. It has been demonstrated sufficiently that temporal colored Petri nets canverify efficiently some time-related properties of concurrent systems, and provide both the powerof dynamic representation graphically and the function of logical inference formally. Finally,future work is described.展开更多
This article describes the current status of onlinetrading development it China from legal,governmental, technical and market perspectives.Three company models of China’s securities industryare detailed. Along the ro...This article describes the current status of onlinetrading development it China from legal,governmental, technical and market perspectives.Three company models of China’s securities industryare detailed. Along the road to a bright future, somehurdles handicap further development of online tradingin China. Through discussions of these problems, pos-展开更多
Textile materials trading center was formally launched online in Wuxi City,Jiangsu Province. This is the first third-party electronic trading platform for spot trading in China textile materials professional market....Textile materials trading center was formally launched online in Wuxi City,Jiangsu Province. This is the first third-party electronic trading platform for spot trading in China textile materials professional market. The project will strive to build the most influential textile materials trading center of East China,the whole country and even the whole world China textile materials trading center will展开更多
As the civil law expression of internet plus transactions, the legal relations in online trading platform transactions constitute a complex aggregate of legal relationships composed of groups of legal relations. Speci...As the civil law expression of internet plus transactions, the legal relations in online trading platform transactions constitute a complex aggregate of legal relationships composed of groups of legal relations. Specifically, they consist of three basic interlinked legal relationships： Contract relations for online trading platform services between the platform provider and the seller or service provider, and between the platform provider and the consumer. This includes the sales or service contract relations between the triad of the seller, the service provider and the consumer. These relations contain five kinds of major content, viz., the provision of transaction space, the publishing of transaction information, price escrow payment, distribution and delivery of the commodity, and transaction credit evaluation. They involve three forms of supplementary legal relations： the supplementary contract relationship between the platform provider and a third party payment institunon; between the seller and third party credit reporting agency; and between the seller and a logistics enterprise. The three forms of supplementary contractual legal relations are set up to act on the major contents of the basic legal relationships in online transactions. On the basis of the online trading platform service contract relationships between the platform provider and the triad of the seller, the service provider and the consumer, the flow of the above- mentioned legal relations centers on the contract of sales or service set up between the seller, the service provider and the consumer to accomplish the aim of the online transaction, meet social needs and boost economic development.展开更多
文摘Temporal colored Petri nets, an extension of temporal Petri nets, areintroduced in this paper. It can distinguish the personality of individuals (tokens), describeclearly the causal and temporal relationships between events in concurrent systems, and representelegantly certain fundamental properties of concurrent systems, such as eventuality and fairness.The use of this method is illustrated with an example of modeling and formal verification of anonline stock trading system. The functional correctness of the modeled system is formally verifiedbased on the temporal colored Petri net model and temporal assertions. Also, some main properties ofthe system are analyzed. It has been demonstrated sufficiently that temporal colored Petri nets canverify efficiently some time-related properties of concurrent systems, and provide both the powerof dynamic representation graphically and the function of logical inference formally. Finally,future work is described.
文摘This article describes the current status of onlinetrading development it China from legal,governmental, technical and market perspectives.Three company models of China’s securities industryare detailed. Along the road to a bright future, somehurdles handicap further development of online tradingin China. Through discussions of these problems, pos-
文摘Textile materials trading center was formally launched online in Wuxi City,Jiangsu Province. This is the first third-party electronic trading platform for spot trading in China textile materials professional market. The project will strive to build the most influential textile materials trading center of East China,the whole country and even the whole world China textile materials trading center will
文摘As the civil law expression of internet plus transactions, the legal relations in online trading platform transactions constitute a complex aggregate of legal relationships composed of groups of legal relations. Specifically, they consist of three basic interlinked legal relationships： Contract relations for online trading platform services between the platform provider and the seller or service provider, and between the platform provider and the consumer. This includes the sales or service contract relations between the triad of the seller, the service provider and the consumer. These relations contain five kinds of major content, viz., the provision of transaction space, the publishing of transaction information, price escrow payment, distribution and delivery of the commodity, and transaction credit evaluation. They involve three forms of supplementary legal relations： the supplementary contract relationship between the platform provider and a third party payment institunon; between the seller and third party credit reporting agency; and between the seller and a logistics enterprise. The three forms of supplementary contractual legal relations are set up to act on the major contents of the basic legal relationships in online transactions. On the basis of the online trading platform service contract relationships between the platform provider and the triad of the seller, the service provider and the consumer, the flow of the above- mentioned legal relations centers on the contract of sales or service set up between the seller, the service provider and the consumer to accomplish the aim of the online transaction, meet social needs and boost economic development.
