메뉴 건너뛰기




Volumn 43, Issue 6, 2013, Pages 1411-1423

Modular reachability analysis of petri nets for multiagent systems

Author keywords

Large scale systems; Modular analysis; Multiagent systems; Petri nets; Reachability analysis

Indexed keywords

DISCRETE EVENT SIMULATION; LARGE SCALE SYSTEMS; PETRI NETS;

EID: 84898959953     PISSN: 10834427     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2013.2250278     Document Type: Article
Times cited : (14)

References (51)
  • 4
    • 0036880904 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 19
    • 77951207129 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 31
    • 0022769976 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 36
    • 0028532706 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 41
    • 84943272789 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.