-
1
-
-
4444244493
-
-
Chinese source
-
-
-
-
2
-
-
4444298785
-
-
Chinese source
-
-
-
-
3
-
-
4444304077
-
-
Chinese source
-
-
-
-
4
-
-
4444370798
-
-
Chinese source
-
-
-
-
5
-
-
4444243574
-
Three-dimension train group operation simulation system based on pertri net with objects
-
October 12-15
-
Ye Yangdong,Zhang Lei,Du Yanhua,Jia Limin. Three-dimension Train Group Operation Simulation System Based on Pertri Net with Objects. Proceeding of IEEE Sixth International Conference on Intelligent Transportation Systems, VOL, 2,pp.1568-1573,October 12-15, 2003.
-
(2003)
Proceeding of IEEE Sixth International Conference on Intelligent Transportation Systems
, vol.2
, pp. 1568-1573
-
-
Yangdong, Y.1
Lei, Z.2
Yanhua, D.3
Limin, J.4
-
6
-
-
4444276278
-
-
Chinese source
-
-
-
-
7
-
-
4444285171
-
-
Chinese source
-
-
-
-
8
-
-
4444255721
-
-
Chinese source
-
-
-
-
9
-
-
0025485584
-
A G-Net model for knowledge representation and reasoning
-
September
-
Y. Deng, S.K.Chang. A G-Net Model for Knowledge Representation and Reasoning. IEEE Transactions on Knowledge and Data Engineering. VOL.2.NO.3, pp. 295-310, September, 1990.
-
(1990)
IEEE Transactions on Knowledge and Data Engineering
, vol.2
, Issue.3
, pp. 295-310
-
-
Deng, Y.1
Chang, S.K.2
-
10
-
-
85029459837
-
Integrating software engineering methods and petri nets for the specification and prototyping of complex software systems
-
Application and Theory of Petri Nets
-
Y. Deng, S.K.Chang, J. C. A. de Figueiredo, A. Perkusich, Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Software Systems. Application and Theory of Petri Nets, VOL 691 of Lecture Notes in Computer Science, pp. 206-233,1993.
-
(1993)
Lecture Notes in Computer Science
, vol.691
, pp. 206-233
-
-
Deng, Y.1
Chang, S.K.2
De Figueiredo, J.C.A.3
Perkusich, A.4
-
11
-
-
0037252918
-
A framework for model-based design of agent-oriented software
-
January
-
HaipingXu, Sol M. Shatz. A Framework for Model-Based Design of Agent-Oriented Software. IEEE Transations on Software Engineering, VOL. 29,NO.1, pp. 15-30,January 2003.
-
(2003)
IEEE Transations on Software Engineering
, vol.29
, Issue.1
, pp. 15-30
-
-
Xu, H.1
Shatz, S.M.2
-
13
-
-
0031258923
-
G-Nets:A petri net based approach for logical and timing analysis of complex software systems
-
A. Perkusich, J. de Figueiredo. G-Nets:A Petri Net Based Approach for Logical and Timing Analysis of Complex Software Systems. Journal of Systems and Software,VOL.39,NO.1,pp. 39-59,1997.
-
(1997)
Journal of Systems and Software
, vol.39
, Issue.1
, pp. 39-59
-
-
Perkusich, A.1
De Figueiredo, J.2
-
14
-
-
26644432537
-
DESIRE: Modelling multi-agent systems in a compositional formal framework
-
F.M.T. Brazier,B. Dunin Keplicz,N.R. Jennings, and J.Treur. DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. Int. Journal of Cooperative Information Systems, VOL. 6,NO.1,pp. 67-94, 1997.
-
(1997)
Int. Journal of Cooperative Information Systems
, vol.6
, Issue.1
, pp. 67-94
-
-
Brazier, F.M.T.1
Dunin Keplicz, B.2
Jennings, N.R.3
Treur, J.4
|