메뉴 건너뛰기




Volumn , Issue , 2009, Pages 1-384

Coloured Petri Nets: Modelling and validation of concurrent systems

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84892340728     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/b95112     Document Type: Book
Times cited : (1237)

References (112)
  • 1
    • 0028413052 scopus 로고
    • A theory of timed automata
    • R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
    • (1994) Theoretical Computer Science , vol.126 , Issue.2 , pp. 183-235
    • Alur, R.1    Dill, D.2
  • 2
    • 1142294722 scopus 로고
    • Standard ML of New Jersey
    • Springer Proceedings of 3rd International Symposium on Programming Language Implementation and Logic Programming
    • A. W. Appel and D. B. MacQueen. Standard ML of New Jersey. In Proceedings of 3rd International Symposium on Programming Language Implementation and Logic Programming, Vol. 528 of Lecture Notes in Computer Science, pages 1-13. Springer, 1991.
    • (1991) Lecture Notes in Computer Science , vol.528 , pp. 1-13
    • Appel, A.W.1    MacQueen, D.B.2
  • 3
    • 84892317968 scopus 로고    scopus 로고
    • Bang & Olufsen. www.bang-olufsen.com.
  • 6
    • 0004009347 scopus 로고    scopus 로고
    • Society for Research into Higher Education and Open University Press, 2nd edition
    • J. Biggs. Teaching for Quality Learning at University. The Society for Research into Higher Education and Open University Press, 2nd edition, 2003.
    • (2003) Teaching for Quality Learning at University
    • Biggs, J.1
  • 11
    • 84892310010 scopus 로고    scopus 로고
    • BRITNeY Suite homepage. wiki.cs.au.dk/britney/.
  • 12
    • 33750115329 scopus 로고    scopus 로고
    • Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks
    • IEEE Computer Society
    • J. Brøndsted and L. M. Kristensen. Specification and performance evaluation of two zone dissemination protocols for vehicular ad-hoc networks. In Proc. of 39th Annual Simulation Symposium, pages 68-79. IEEE Computer Society, 2006.
    • (2006) Proc. of 39th Annual Simulation Symposium , pp. 68-79
    • Brøndsted, J.1    Kristensen, L.M.2
  • 13
    • 0022769976 scopus 로고
    • Graph based algorithms for boolean function manipulation
    • R. E. Bryant. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, 1986.
    • (1986) IEEE Transactions on Computers , vol.C-35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 20
    • 84863922302 scopus 로고    scopus 로고
    • Symmetry reductions in model checking
    • Springer Proc. of Computer-aided Verification (CAV'98)
    • E. Clarke, E. A. Emerson, S. Jha, and A. P. Sistla. Symmetry Reductions in Model Checking. In Proc. of Computer-Aided Verification (CAV'98), Vol. 1427 of Lecture Notes in Computer Science, pages 147-159. Springer, 1998.
    • (1998) Lecture Notes in Computer Science , vol.1427 , pp. 147-159
    • Clarke, E.1    Emerson, E.A.2    Jha, S.3    Sistla, A.P.4
  • 23
    • 0030212139 scopus 로고    scopus 로고
    • Exploiting symmetries in temporal logic model checking
    • Kluwer Academic Publishers
    • E. M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting symmetries in temporal logic model checking. Formal Methods in System Design, 9 (1-2):77-104, Kluwer Academic Publishers, 1996.
    • (1996) Formal Methods in System Design , vol.9 , Issue.1-2 , pp. 77-104
    • Clarke, E.M.1    Enders, R.2    Filkorn, T.3    Jha, S.4
  • 25
    • 84892222902 scopus 로고    scopus 로고
    • CPN Tools homepage. www.cs.au.dk/CPNTools.
  • 26
    • 84892339791 scopus 로고    scopus 로고
    • CPN Group, at University of Aarhus, homepage. www.cs.au.dk/CPnets.
  • 28
    • 84892344406 scopus 로고    scopus 로고
    • Design/CPN homepage. www.daimi.au.dk/designCPN.
  • 30
    • 0002477281 scopus 로고    scopus 로고
    • Place/transition nets
    • Springer Lectures on Petri Nets I: Basic Models
    • J. Desel and W. Reisig. Place/transition Nets. In Lectures on Petri Nets I: Basic Models, Vol. 1491 of Lecture Notes in Computer Science, pages 122-173. Springer, 1998.
    • (1998) Lecture Notes in Computer Science , vol.1491 , pp. 122-173
    • Desel, J.1    Reisig, W.2
  • 32
    • 84892200459 scopus 로고    scopus 로고
    • Edinburgh Concurrency Workbench homepage. www.dcs.ed.ac.uk/home/cwb/ index.html.
  • 39
    • 0030215699 scopus 로고    scopus 로고
    • Symmetry and model checking
    • Kluwer Academic Publishers
    • E. A. Emerson and A. P. Sistla. Symmetry and model checking. Formal Methods in System Design, 9 (1-2):105-131, Kluwer Academic Publishers, 1996.
    • (1996) Formal Methods in System Design , vol.9 , Issue.1-2 , pp. 105-131
    • Emerson, E.A.1    Sistla, A.P.2
  • 40
    • 84892320407 scopus 로고    scopus 로고
    • Examples of Industrial Use of CP-nets. www.cs.au.dk/CPnets/industrialex.
  • 41
    • 84892353048 scopus 로고    scopus 로고
    • Formal Systems - FDR2. www.fsel.com/software.html.
  • 43
    • 84892341188 scopus 로고    scopus 로고
    • vsProc. of 4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Department of Computer Science, University of Aarhus, DAIMI PB-560
    • v1G. E. Gallasch, L. M. Kristensen, and T. Mailund. Sweep-Line state space exploration for coloured Petri nets. In vsProc. of 4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 101-120. Department of Computer Science, University of Aarhus, 2002. DAIMI PB-560.
    • (2002) Sweep-line State Space Exploration for Coloured Petri Nets , pp. 101-120
    • Kristensen, L.M.1    Mailund, T.2
  • 45
    • 0040629117 scopus 로고
    • Predicate/transition nets
    • K. Jensen and G. Rozenberg eds., Springer
    • H. Genrich. Predicate/transition Nets. In K. Jensen and G. Rozenberg (eds.), High-level Petri Nets: Theory and Application, pages 3-43. Springer, 1991.
    • (1991) High-level Petri Nets: Theory and Application , pp. 3-43
    • Genrich, H.1
  • 48
    • 84892284812 scopus 로고    scopus 로고
    • Gnuplot tool homepage. www.gnuplot.info.
  • 50
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
    • (1987) Science of Computer Programming , vol.8 , pp. 231-274
    • Harel, D.1
  • 57
    • 0030211668 scopus 로고    scopus 로고
    • Better verification through symmetry
    • Kluwer Academic Publishers
    • C. N. Ip and D. L. Dill. Better verification through symmetry. Formal Methods in System Design, 9 (1-2):41-75, Kluwer Academic Publishers, 1996.
    • (1996) Formal Methods in System Design , vol.9 , Issue.1-2 , pp. 41-75
    • Ip, C.N.1    Dill, D.L.2
  • 59
    • 0000098171 scopus 로고
    • Coloured Petri nets and the invariant method
    • K. Jensen. Coloured Petri nets and the invariant method. Theoretical Computer Science, 14:317-336, 1981.
    • (1981) Theoretical Computer Science , vol.14 , pp. 317-336
    • Jensen, K.1
  • 62
    • 0030215698 scopus 로고    scopus 로고
    • Condensed state spaces for symmetrical coloured Petri nets
    • Kluwer Academic Publishers
    • K. Jensen. Condensed state spaces for symmetrical coloured Petri nets. Formal Methods in System Design, 9 (1-2):7-40, Kluwer Academic Publishers, 1996.
    • (1996) Formal Methods in System Design , vol.9 , Issue.1-2 , pp. 7-40
    • Jensen, K.1
  • 79
    • 33646190306 scopus 로고    scopus 로고
    • Exploiting stabilizers and parallelism in state space generation with the symmetry method
    • IEEE Computer Society
    • L. Lorentsen and L. M. Kristensen. Exploiting stabilizers and parallelism in state space generation with the symmetry method. In Proc. of ICACSD'01, pages 211-220. IEEE Computer Society, 2001.
    • (2001) Proc. of ICACSD'01 , pp. 211-220
    • Lorentsen, L.1    Kristensen, L.M.2
  • 80
    • 84892354709 scopus 로고    scopus 로고
    • IETF MANET Working Group homepage. www.ietf.org/html.charters/manet- charter.html.
  • 83
    • 0003954103 scopus 로고
    • Prentice Hall International Series in Computer Science. Prentice-Hall
    • R. Milner. Communication and Concurrency, Prentice Hall International Series in Computer Science. Prentice-Hall, 1989.
    • (1989) Communication and Concurrency
    • Milner, R.1
  • 88
    • 84892297352 scopus 로고
    • Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM
    • C. A. Petri. Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, 1962.
    • (1962) Kommunikation mit Automaten , Issue.2
    • Petri, C.A.1
  • 95
    • 84892319536 scopus 로고    scopus 로고
    • SceneBeans homepage. www-dse.doc.ic.ac.uk/Software/SceneBeans/.
  • 96
    • 84892226721 scopus 로고    scopus 로고
    • SPIN tool homepage. spinroot.com/.
  • 97
    • 84892216403 scopus 로고    scopus 로고
    • The Standard ML Basis Library. www.standardml.org/Basis/, 2004.
    • (2004)
  • 101
    • 0001790593 scopus 로고
    • Depth-first search and linear graph algorithms
    • R. E. Tarjan. Depth-first search and linear graph algorithms. SIAM Journal of Computing, 1(2):146-160, 1972.
    • (1972) SIAM Journal of Computing , vol.1 , Issue.2 , pp. 146-160
    • Tarjan, R.E.1
  • 103
    • 84892198753 scopus 로고    scopus 로고
    • VisualState homepage. www.iar.com.


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