-
2
-
-
17044442219
-
A CASE tool for information system project and development
-
Boccalatte, A., Giglio, D. and Paolucci, M., A CASE tool for information system project and development, in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1999, pp. 1042-1047.
-
(1999)
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
, pp. 1042-1047
-
-
Boccalatte, A.1
Giglio, D.2
Paolucci, M.3
-
3
-
-
84978922841
-
Automatic dependability analysis for supporting design decisions in UML
-
Bondavalli, A., Majzik, I. and Mura, I., Automatic dependability analysis for supporting design decisions in UML, in Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering, 1999, pp. 64-71.
-
(1999)
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering
, pp. 64-71
-
-
Bondavalli, A.1
Majzik, I.2
Mura, I.3
-
4
-
-
0034474776
-
UML and Petri nets for design and analysis of distributed systems
-
TM5-6, Anchorage, Alaska, USA
-
Bordbar, B., Giacomini, L. andHolding, D.J., UML and Petri nets for design and analysis of distributed systems, in Proceedings of the 2000 IEEE International Conference on Control Applications, TM5-6, 2000, Anchorage, Alaska, USA.
-
(2000)
Proceedings of the 2000 IEEE International Conference on Control Applications
-
-
Bordbar, B.1
Giacomini, L.2
Holding, D.J.3
-
5
-
-
2942641152
-
Using high-level Petri nets in the field of intelligent networks
-
Springer-Verlag: Berlin Heidelberg
-
Capellmann, C., Dibold, H. and Zerzog, U., Using high-level Petri nets in the field of intelligent networks, in Lecture Notes in Computer Science 1605, 1999, pp. 1-36 (Springer-Verlag: Berlin Heidelberg).
-
(1999)
Lecture Notes in Computer Science 1605
, pp. 1-36
-
-
Capellmann, C.1
Dibold, H.2
Zerzog, U.3
-
6
-
-
0012857111
-
An integrated artificial intelligent computer-aided process planning system
-
Chang, P.T. and Chang, C.H., An integrated artificial intelligent computer-aided process planning system. International Journal of Computer Integrated Manufacturing, 2000, 13(6), 483-497.
-
(2000)
International Journal of Computer Integrated Manufacturing
, vol.13
, Issue.6
, pp. 483-497
-
-
Chang, P.T.1
Chang, C.H.2
-
7
-
-
84962045024
-
Workflow process definition and their applications in e-commerce
-
Chang, Y.L., Chen, S., Chen, C.C. and Chen, I., Workflow process definition and their applications in e-commerce, in Proceedings of International Symposium on Multimedia Software Engineering, 2000, pp. 193-200.
-
(2000)
Proceedings of International Symposium on Multimedia Software Engineering
, pp. 193-200
-
-
Chang, Y.L.1
Chen, S.2
Chen, C.C.3
Chen, I.4
-
8
-
-
0142216388
-
Behaviour modeling and control of computer integrated manufacturing
-
Choi, K.H., Bae, C.H. and Lee, S.H., Behaviour modeling and control of computer integrated manufacturing. International Journal of Computer Integrated Manufacturing, 2003, 16(2), 128-139.
-
(2003)
International Journal of Computer Integrated Manufacturing
, vol.16
, Issue.2
, pp. 128-139
-
-
Choi, K.H.1
Bae, C.H.2
Lee, S.H.3
-
9
-
-
84947913522
-
UML/PNO: A way to merge UML and Petri net objects for the analysis of real-time systems
-
Springer-Verlag: Berlin Heidelberg
-
Delatour, J. and Paludetto, M., UML/PNO: a way to merge UML and Petri net objects for the analysis of real-time systems, in Lectures Notes in Computer Science 1543, 1998, pp. 511-514 (Springer-Verlag: Berlin Heidelberg).
-
(1998)
Lectures Notes in Computer Science
, vol.1543
, pp. 511-514
-
-
Delatour, J.1
Paludetto, M.2
-
11
-
-
0345823668
-
Enterprise design, information: The key to improved competitive advantage
-
Harding, J.A. and Popplewell, K., Enterprise design, information: the key to improved competitive advantage. International Journal of Computer Integrated Manufacturing, 2001, 14(6), 514-521.
-
(2001)
International Journal of Computer Integrated Manufacturing
, vol.14
, Issue.6
, pp. 514-521
-
-
Harding, J.A.1
Popplewell, K.2
-
12
-
-
0029209192
-
Structured representation of rule-based specifications in CIM using updated Petri nets
-
Harhalakis, G., Lin, C.P., Mark, L. and Pedro, M., Structured representation of rule-based specifications in CIM using updated Petri nets. IEEE Transactions on Systems, Man and Cybernetics, 1995, 25(1), 130-144.
-
(1995)
IEEE Transactions on Systems, Man and Cybernetics
, vol.25
, Issue.1
, pp. 130-144
-
-
Harhalakis, G.1
Lin, C.P.2
Mark, L.3
Pedro, M.4
-
13
-
-
84958745195
-
SPNP: Stochastic Petri nets. Version 6.0
-
Springer-Verlag: Berlin
-
Hirel, C., Tuffin, B. and Trivedi, K.S., SPNP: stochastic Petri nets. Version 6.0, in Lecture Notes in Computer Science 1786, 2000, pp. 354-357 (Springer-Verlag: Berlin).
-
(2000)
Lecture Notes in Computer Science 1786
, pp. 354-357
-
-
Hirel, C.1
Tuffin, B.2
Trivedi, K.S.3
-
15
-
-
84958766361
-
Derivation of Petri net performance models from UML specifications of communications software
-
Springer-Verlag: Berlin
-
King, P. and Pooley, R., Derivation of Petri net performance models from UML specifications of communications software, in TOOLS 2000 - Lecture Notes in Computer Science 1786, 2000, pp. 262-276 (Springer-Verlag: Berlin).
-
(2000)
TOOLS 2000 - Lecture Notes in Computer Science 1786
, pp. 262-276
-
-
King, P.1
Pooley, R.2
-
16
-
-
84947220045
-
Modelling the structure and behaviour of Petri net agents
-
Springer-Verlag: Berlin
-
Kohler, M., Moldt, D. and Rolke, H., Modelling the structure and behaviour of Petri net agents, in Lecture Notes in Computer Science 2075, 2001, pp. 225-241 (Springer-Verlag: Berlin).
-
(2001)
Lecture Notes in Computer Science 2075
, pp. 225-241
-
-
Kohler, M.1
Moldt, D.2
Rolke, H.3
-
19
-
-
0024645936
-
Petri net: Properties, analysis and applications
-
Murata, T., Petri net: properties, analysis and applications. Proceedings of the IEEE, 1989, 77(4), 541-580.
-
(1989)
Proceedings of the IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
20
-
-
84943680039
-
A Petri net approach to the modeling and analysis of flexible manufacturing
-
Narahari, Y. andViswanadham, N., A Petri net approach to the modeling and analysis of flexible manufacturing. Annals Operations Research, 1985, 3, 381-391.
-
(1985)
Annals Operations Research
, vol.3
, pp. 381-391
-
-
Narahari, Y.1
Viswanadham, N.2
-
22
-
-
0002996707
-
Timed Petri net models of ATM LANs
-
Springer-Verlag: Berlin
-
Reid, M. and Zuberek, W.M., Timed Petri net models of ATM LANs, in Lecture Notes in Computer Science 1605, 1999, pp. 150-175 (Springer-Verlag: Berlin).
-
(1999)
Lecture Notes in Computer Science 1605
, pp. 150-175
-
-
Reid, M.1
Zuberek, W.M.2
-
24
-
-
0036573944
-
Knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controller
-
Zha, X.F., Li, L.L. and Zhang, W.J., Knowledge Petri net model for flexible manufacturing systems and its application for design and verification of FMS controller. International Journal of Computer Integrated Manufacturing, 2002, 15(3), 242-264.
-
(2002)
International Journal of Computer Integrated Manufacturing
, vol.15
, Issue.3
, pp. 242-264
-
-
Zha, X.F.1
Li, L.L.2
Zhang, W.J.3
|