-
3
-
-
34548264723
-
Dynamically integrated manufacturing systems (DIMS) - A multiagent approach
-
DOI 10.1109/TSMCA.2007.897710
-
D. Z. Zhang, A. Anosike, and M. K. Lim, "Dynamically integrated manufacturing systems (DIMS) - A multiagent approach," IEEE Trans. Syst., Man, Cybern. A, vol. 37, no. 5, pp. 824-850, Sep. 2007. (Pubitemid 47323545)
-
(2007)
IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
, vol.37
, Issue.5
, pp. 824-850
-
-
Zhang, D.Z.1
Anosike, A.2
Lim, M.K.3
-
4
-
-
0036880904
-
Context-Dependent agents for real-Time scheduling in manufacturing systems
-
Nov
-
T. Miyamoto, B. Krogh, and S. Kumagai, "Context-dependent agents for real-time scheduling in manufacturing systems," IEICE Trans. Fund., vol. E85-A, no. 11, pp. 2407-2413, Nov. 2002.
-
(2002)
IEICE Trans. Fund.
, vol.E85-A
, Issue.11
, pp. 2407-2413
-
-
Miyamoto, T.1
Krogh, B.2
Kumagai, S.3
-
5
-
-
29144432301
-
A cooperative algorithm for autonomous distributed vehicle systems with finite buffer capacity
-
Nov
-
T. Miyamoto, N. Tsujimoto, and S. Kumagai, "A cooperative algorithm for autonomous distributed vehicle systems with finite buffer capacity," IEICE Trans. Fund., vol. E88-A, no. 11, pp. 3036-3044, Nov. 2005.
-
(2005)
IEICE Trans. Fund.
, vol.E88-A
, Issue.11
, pp. 3036-3044
-
-
Miyamoto, T.1
Tsujimoto, N.2
Kumagai, S.3
-
6
-
-
77249104871
-
Capabilities of dynamic reconfiguration of multiagent-Based industrial control systems
-
Mar
-
P. Vrba and V. Marik, "Capabilities of dynamic reconfiguration of multiagent-based industrial control systems," IEEE Trans. Syst., Man, Cybern. A, vol. 40, no. 2, pp. 213-223, Mar. 2010.
-
(2010)
IEEE Trans. Syst., Man, Cybern. A
, vol.40
, Issue.2
, pp. 213-223
-
-
Vrba, P.1
Marik, V.2
-
7
-
-
77951206222
-
Decision strategies in mediated multiagent negotiations: An optimization approach
-
May
-
D. A. Pelta and R. R. Yager, "Decision strategies in mediated multiagent negotiations: An optimization approach," IEEE Trans. Syst., Man, Cybern., A, vol. 40, no. 3, pp. 635-640, May 2010.
-
(2010)
IEEE Trans. Syst., Man, Cybern., A
, vol.40
, Issue.3
, pp. 635-640
-
-
Pelta, D.A.1
Yager, R.R.2
-
8
-
-
79959578357
-
Multiagent ontology mapping framework for the semantic web
-
Jul
-
M. Nagy and M. Vargas-Vera, "Multiagent ontology mapping framework for the semantic web," IEEE Trans. Syst., Man, Cybern., A, vol. 41, no. 4, pp. 693-704, Jul. 2011.
-
(2011)
IEEE Trans. Syst., Man, Cybern., A
, vol.41
, Issue.4
, pp. 693-704
-
-
Nagy, M.1
Vargas-Vera, M.2
-
9
-
-
84867842199
-
The development of an agent-Based modeling framework for simulating engineering team work
-
Nov
-
R. M. Crowder, M. A. Robinson, H. P. N. Hughes, and Y.-W. Sim, "The development of an agent-based modeling framework for simulating engineering team work," IEEE Trans. Syst., Man, Cybern., A, vol. 42, no. 6, pp. 1425-1439, Nov. 2012.
-
(2012)
IEEE Trans. Syst., Man, Cybern., A
, vol.42
, Issue.6
, pp. 1425-1439
-
-
Crowder, R.M.1
Robinson, M.A.2
Hughes, H.P.N.3
Sim, Y.-W.4
-
10
-
-
79957701704
-
An evaluation of trading methods for a distributed energy management system
-
Jun
-
K. Yakire, T. Miyamoto, S. Kumagai, K. Mori, S. Kitamura, and T. Yamamoto, "An evaluation of trading methods for a distributed energy management system," Electron. Commun. Japan, vol. 94, no. 6, pp. 32-40, Jun. 2011.
-
(2011)
Electron. Commun. Japan
, vol.94
, Issue.6
, pp. 32-40
-
-
Yakire, K.1
Miyamoto, T.2
Kumagai, S.3
Mori, K.4
Kitamura, S.5
Yamamoto, T.6
-
11
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
Apr
-
T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
-
(1989)
Proc. IEEE
, vol.77
, Issue.4
, pp. 541-580
-
-
Murata, T.1
-
12
-
-
10444259688
-
Service-Oriented design: A multiviewpoint approach
-
Dec
-
R. Dijkman and M. Dumas, "Service-oriented design: A multiviewpoint approach," Int. J. Cooperative Inf. Syst., vol. 13, no. 4, pp. 337-368, Dec. 2004.
-
(2004)
Int. J. Cooperative Inf. Syst.
, vol.13
, Issue.4
, pp. 337-368
-
-
Dijkman, R.1
Dumas, M.2
-
13
-
-
77249176545
-
A Petri net approach to analysis and composition of Web services
-
Mar
-
P. Xiong, Y. Fan, and M. Zhou, "A Petri net approach to analysis and composition of Web services," IEEE Trans. Syst., Man, Cybern. A, vol. 40, no. 2, pp. 376-387, Mar. 2010.
-
(2010)
IEEE Trans. Syst., Man, Cybern. A
, vol.40
, Issue.2
, pp. 376-387
-
-
Xiong, P.1
Fan, Y.2
Zhou, M.3
-
14
-
-
79955469105
-
A Petri net approach to analyzing behavioral compatibility and similarity of Web services
-
May
-
X. Li, Y. Fan, Q. Z. Sheng, Z. Maamar, and H. Zhu, "A Petri net approach to analyzing behavioral compatibility and similarity of Web services," IEEE Trans. Syst., Man, Cybern. A, vol. 41, no. 3, pp. 510-521, May 2011.
-
(2011)
IEEE Trans. Syst., Man, Cybern. A
, vol.41
, Issue.3
, pp. 510-521
-
-
Li, X.1
Fan, Y.2
Sheng, Q.Z.3
Maamar, Z.4
Zhu, H.5
-
15
-
-
77249101264
-
Supervised and unsupervised learning by using Petri nets
-
Mar
-
V. R. L. Shen, Y.-S. Chang, and T. T.-Y. Juang, "Supervised and unsupervised learning by using Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 40, no. 2, pp. 363-375, Mar. 2010.
-
(2010)
IEEE Trans. Syst., Man, Cybern. A
, vol.40
, Issue.2
, pp. 363-375
-
-
Shen, V.R.L.1
Chang, Y.-S.2
Juang, T.T.-Y.3
-
16
-
-
0002719897
-
The application of Petri nets to workflow management
-
W. Van der Aalst, "The application of Petri nets to workflow management," J. Circuits Syst. Comp., vol. 8, no. 1, pp. 21-66, Feb. 1998. (Pubitemid 128540249)
-
(1998)
Journal of Circuits, Systems and Computers
, vol.8
, Issue.1
, pp. 21-66
-
-
Van Der Aalst, W.M.P.1
-
17
-
-
84655162161
-
Decidability results for soundness criteria of resource-constrained workflow nets
-
Jan
-
F. L. Tiplea and C. Bocaneala, "Decidability results for soundness criteria of resource-constrained workflow nets," IEEE Trans. Syst., Man, Cybern. A, vol. 42, no. 1, pp. 238-249, Jan. 2012.
-
(2012)
IEEE Trans. Syst., Man, Cybern. A
, vol.42
, Issue.1
, pp. 238-249
-
-
Tiplea, F.L.1
Bocaneala, C.2
-
18
-
-
84862511366
-
Model checking analysis of semantically annotated business processes
-
Jul
-
M. J. Ibanez, J. Fabra, P. Alvarez, and J. Ezpeleta, "Model checking analysis of semantically annotated business processes," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 42, no. 4, pp. 854-867, Jul. 2012.
-
(2012)
IEEE Trans. Syst., Man, Cybern. A, Syst. Humans
, vol.42
, Issue.4
, pp. 854-867
-
-
Ibanez, M.J.1
Fabra, J.2
Alvarez, P.3
Ezpeleta, J.4
-
19
-
-
77951207129
-
Model-Based development of virtual laboratories for robotics over the Internet
-
May
-
F. D. Von Borstel and J. L. Gordillo, "Model-based development of virtual laboratories for robotics over the Internet," IEEE Trans. Syst.,Man, Cybern. A, Syst. Humans, vol. 40, no. 3, pp. 623-634, May. 2010.
-
(2010)
IEEE Trans. Syst.,Man, Cybern. A, Syst. Humans
, vol.40
, Issue.3
, pp. 623-634
-
-
Von Borstel, F.D.1
Gordillo, J.L.2
-
20
-
-
77953716505
-
Composing supply chains through multiunit combinatorial reverse auctions with transformability relationships among goods
-
Jul
-
A. Giovannucci, J. Cerquides, and J. A. Rodriguez-Aguilar, "Composing supply chains through multiunit combinatorial reverse auctions with transformability relationships among goods," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 40, no. 4, pp. 767-778, Jul. 2010.
-
(2010)
IEEE Trans. Syst., Man, Cybern. A, Syst. Humans
, vol.40
, Issue.4
, pp. 767-778
-
-
Giovannucci, A.1
Cerquides, J.2
Rodriguez-Aguilar, J.A.3
-
21
-
-
78349312264
-
Resource-Transition circuits and siphons for deadlock control of automated manufacturing systems
-
Jan
-
K. Xing, M. Zhou, F. Wang, H. Liu, and F. Tian, "Resource-transition circuits and siphons for deadlock control of automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 41, no. 1, pp. 74-84, Jan. 2011.
-
(2011)
IEEE Trans. Syst., Man, Cybern. A, Syst. Humans
, vol.41
, Issue.1
, pp. 74-84
-
-
Xing, K.1
Zhou, M.2
Wang, F.3
Liu, H.4
Tian, F.5
-
22
-
-
84655164864
-
Deadlock prevention based on structure reuse of petri net supervisors for flexible manufacturing Systems
-
Se
-
Z. Li, G. Liu, H.-M. Hanisch, and M. Zhou, "Deadlock prevention based on structure reuse of petri net supervisors for flexible manufacturing Systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 42, no. 1, pp. 178-191, Sep. 2012.
-
(2012)
IEEE Trans. Syst., Man, Cybern. A, Syst. Humans
, vol.42
, Issue.1
, pp. 178-191
-
-
Li, Z.1
Liu, G.2
Hanisch, H.-M.3
Zhou, M.4
-
23
-
-
27744600972
-
Survey of research in the design and control of automated guided vehicle systems
-
DOI 10.1016/j.ejor.2004.09.020, PII S0377221704006459
-
I. F. A. Vis, "Survey of research in the design and control of automatedguided vehicle systems," Eur. J. Oper. Res., vol. 170, no. 3, pp. 677-709, May 2006. (Pubitemid 41607632)
-
(2006)
European Journal of Operational Research
, vol.170
, Issue.3
, pp. 677-709
-
-
Vis, I.F.A.1
-
24
-
-
84865439302
-
Petri net decomposition approach for dispatching and conflict-Free routing of bidirectional automated guided vehicle systems
-
Sep
-
T. Nishi and Y. Tanaka, "Petri net decomposition approach for dispatching and conflict-free routing of bidirectional automated guided vehicle systems," IEEE Trans. Syst., Man, Cybern. A, vol. 42, no. 5, pp. 1230-1243, Sep. 2012.
-
(2012)
IEEE Trans. Syst., Man, Cybern. A
, vol.42
, Issue.5
, pp. 1230-1243
-
-
Nishi, T.1
Tanaka, Y.2
-
25
-
-
77958113397
-
A novel colored fluid stochastic Petri net simulation model for reliability evaluation of wind/PV/diesel small isolated power systems
-
Nov
-
Y. A. Katsigiannis, P. S. Georgilakis, and G. J. Tsinarakis, "A novel colored fluid stochastic Petri net simulation model for reliability evaluation of wind/PV/diesel small isolated power systems," IEEE Trans. Syst., Man, Cybern. A, vol. 40, no. 6, pp. 1296-1309, Nov. 2010.
-
(2010)
IEEE Trans. Syst., Man, Cybern. A
, vol.40
, Issue.6
, pp. 1296-1309
-
-
Katsigiannis, Y.A.1
Georgilakis, P.S.2
Tsinarakis, G.J.3
-
26
-
-
77249146348
-
Automated modeling of dynamic reliability block diagrams using colored Petri nets
-
Mar
-
R. Robidoux, H. Xu, L. Xing, and M. Zhou, "Automated modeling of dynamic reliability block diagrams using colored Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 40, no. 2, pp. 337-351, Mar. 2010.
-
(2010)
IEEE Trans. Syst., Man, Cybern. A
, vol.40
, Issue.2
, pp. 337-351
-
-
Robidoux, R.1
Xu, H.2
Xing, L.3
Zhou, M.4
-
28
-
-
0001176166
-
A stubborn attack on state explosion
-
Dec
-
A. Valmari, "A stubborn attack on state explosion," Formal Methods Syst. Design, vol. 1, no. 4, pp. 297-322, Dec. 1992.
-
(1992)
Formal Methods Syst. Design
, vol.1
, Issue.4
, pp. 297-322
-
-
Valmari, A.1
-
29
-
-
33847258494
-
Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
-
LNCS
-
K. L. McMillan, "Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits," in Proc. Comput.-Aided Verification, LNCS 663. 1993, pp. 164-177.
-
(1993)
Proc. Comput.-Aided Verification
, vol.663
, pp. 164-177
-
-
McMillan, K.L.1
-
30
-
-
84994842734
-
Petri net analysis using Boolean manipulation
-
LNCS
-
E. Pastor, O. Roig, J. Cortadella, and R. M. Badia, "Petri net analysis using Boolean manipulation," in Proc. Appl. Theory Petri Nets, LNCS 815. 1994, pp. 416-435.
-
(1994)
Proc. Appl. Theory Petri Nets
, vol.815
, pp. 416-435
-
-
Pastor, E.1
Roig, O.2
Cortadella, J.3
Badia, R.M.4
-
31
-
-
0022769976
-
Graph-Based algorithms for Boolean function manipulation
-
Aug
-
R. E. Bryant, "Graph-based algorithms for Boolean function manipulation," IEEE Trans. Comput., vol. 35, no. 8, pp. 677-691, Aug. 1986.
-
(1986)
IEEE Trans. Comput.
, vol.35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
32
-
-
0033684774
-
Modular analysis of Petri nets
-
S. Christensen and L. Petrucci, "Modular analysis of Petri nets," Comput. J., vol. 43, no. 3, pp. 57-64, 2000.
-
(2000)
Comput. J.
, vol.43
, Issue.3
, pp. 57-64
-
-
Christensen, S.1
Petrucci, L.2
-
33
-
-
26944432275
-
Petri net reachability checking is polynomial with optimal abstraction hierarchies
-
LNAI
-
P. Küngas, "Petri net reachability checking is polynomial with optimal abstraction hierarchies," in Proc. Abstraction, Reformulation Approximation, LNAI 3607. 2005, pp. 149-164.
-
(2005)
Proc. Abstraction, Reformulation Approximation
, vol.3607
, pp. 149-164
-
-
Küngas, P.1
-
34
-
-
0023670512
-
A generalized timed Petri net model for performance analysis
-
Dec
-
M. A. Holliday and M. K. Vernon, "A generalized timed Petri net model for performance analysis," IEEE Trans. Softw. Eng., vol. 13, no. 12, pp. 1297-1310, Dec. 1987.
-
(1987)
IEEE Trans. Softw. Eng.
, vol.13
, Issue.12
, pp. 1297-1310
-
-
Holliday, M.A.1
Vernon, M.K.2
-
35
-
-
0003871155
-
-
Berlin, Germany: Springer-Verlag
-
K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 2nd ed., vol. 1, Berlin, Germany: Springer-Verlag, 1997.
-
(1997)
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
, vol.1
-
-
Jensen, K.1
-
36
-
-
0028532706
-
A generalized fuzzy Petri net model
-
Nov
-
W. Pedrycz and F. Gomide, "A generalized fuzzy Petri net model," IEEE Trans. Fuzzy Syst., vol. 2, no. 4, pp. 295-301, Nov. 1994.
-
(1994)
IEEE Trans. Fuzzy Syst.
, vol.2
, Issue.4
, pp. 295-301
-
-
Pedrycz, W.1
Gomide, F.2
-
38
-
-
84957613488
-
Petri nets as token objects: An introduction to elementary object nets
-
LNCS
-
R. Valk, "Petri nets as token objects: An introduction to elementary object nets," in Proc. Appl. Theory Petri Nets, LNCS 1420. 1998, pp. 1-24.
-
(1998)
Proc. Appl. Theory Petri Nets
, vol.1420
, pp. 1-24
-
-
Valk, R.1
-
39
-
-
29144498382
-
A survey of object-oriented petri nets and analysis methods
-
DOI 10.1093/ietfec/e88-a.11.2964
-
T. Miyamoto and S. Kumagai, "A survey of object-oriented Petri nets and analysis methods," IEICE Trans. Fund., vol. E88-A, no. 11, pp. 2964-2971, Nov. 2005. (Pubitemid 41816609)
-
(2005)
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
, vol.E88-A
, Issue.11
, pp. 2964-2971
-
-
Miyamoto, T.1
Kumagai, S.2
-
41
-
-
84943272789
-
Some decidability results for nested Petri nets
-
LNCS
-
I. A. Lomazova and P. Schnoebelen, "Some decidability results for nested Petri nets," in Proc. Perspectives Syst. Inform., LNCS 1755. 2000, pp. 208-220.
-
(2000)
Proc. Perspectives Syst. Inform
, vol.1755
, pp. 208-220
-
-
Lomazova, I.A.1
Schnoebelen, P.2
-
42
-
-
68249149394
-
On reachability analysis of multiagent nets
-
Oct
-
T. Miyamoto, M. Sakamoto, and S. Kumagai, "On reachability analysis of multiagent nets," IEICE Trans. Fund., vol. E90A, no. 10, pp. 2257-2260, Oct. 2007.
-
(2007)
IEICE Trans. Fund.
, vol.E90A
, Issue.10
, pp. 2257-2260
-
-
Miyamoto, T.1
Sakamoto, M.2
Kumagai, S.3
-
43
-
-
84856514305
-
Modular reachability analysis in fundamental class of multiagent nets
-
in
-
T. Miyamoto and K. Horiguchi, "Modular reachability analysis in fundamental class of multiagent nets," in Proc. IECON, 2011, pp. 3653-3658.
-
(2011)
Proc. IECON
, pp. 3653-3658
-
-
Miyamoto, T.1
Horiguchi, K.2
-
44
-
-
0003861085
-
Relating different semantics for object Petri nets
-
Univ. Hamburg, Hamburg, Germany
-
R. Valk, "Relating different semantics for object Petri nets," Univ. Hamburg, Hamburg, Germany, Tech. Rep., 2000.
-
(2000)
Tech. Rep.
-
-
Valk, R.1
-
46
-
-
0005748831
-
Undecidability in object-oriented Petri nets
-
Oct
-
O. Kummer, "Undecidability in object-oriented Petri nets," Petri Net Newsletter, vol. 59, pp. 18-23, Oct. 2000.
-
(2000)
Petri Net Newsletter
, vol.59
, pp. 18-23
-
-
Kummer, O.1
-
47
-
-
0000359796
-
Complexity of some problems in Petri nets
-
Jun
-
N. D. Jones, L. H. Landweber, and Y. E. Lien, "Complexity of some problems in Petri nets," Theor. Comput. Sci., vol. 4, pp. 277-299, Jun. 1977.
-
(1977)
Theor. Comput. Sci.
, vol.4
, pp. 277-299
-
-
Jones, N.D.1
Landweber, L.H.2
Lien, Y.E.3
-
50
-
-
84957714745
-
Flexibility in Algebraic Nets
-
Application and Theory of Petri Nets 1998
-
E. Kindler and H. Volzer, "Flexibility in algebraic nets," in Proc. Appl. Theory Petri Nets, LNCS 1420. 1998, pp. 345-364. (Pubitemid 128093713)
-
(1998)
Lecture Notes in Computer Science
, Issue.1420
, pp. 345-364
-
-
Kindler, E.1
Voelzer, H.2
-
51
-
-
77952012212
-
Modeling distributed transportationsystems composed of flexible automated guided vehicles in flexible manufacturing systems
-
May
-
D. Herrero-Perez and H. Martinez-Barbera, "Modeling distributed transportationsystems composed of flexible automated guided vehicles in flexible manufacturing systems," IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 166-180, May 2010.
-
(2010)
IEEE Trans. Ind. Informat.
, vol.6
, Issue.2
, pp. 166-180
-
-
Herrero-Perez, D.1
Martinez-Barbera, H.2
|