메뉴 건너뛰기




Volumn 7, Issue 4, 2004, Pages 153-166

Teaching Petri nets using P3

Author keywords

Hardware teaching; Petri net teaching; Simulation supported learning; XML based interoperability

Indexed keywords


EID: 8844263840     PISSN: 14364522     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review
Times cited : (9)

References (28)
  • 5
    • 0009879082 scopus 로고    scopus 로고
    • Computing the profession
    • Greening, T. (Ed.), New York: Springer-Verlag
    • Denning, P. J. (2000). Computing the profession. In Greening, T. (Ed.) Computer Science Education in the 21st Century, New York: Springer-Verlag, 27-46.
    • (2000) Computer Science Education in the 21st Century , pp. 27-46
    • Denning, P.J.1
  • 6
    • 0034428045 scopus 로고    scopus 로고
    • Teaching system modeling, simulation and validation
    • Paper presented, 10-13 December, Orlando, FL, USA
    • nd Conference on Winter simulation, 10-13 December, Orlando, FL, USA.
    • (2000) nd Conference on Winter Simulation
    • Desel, J.1
  • 10
    • 8844232120 scopus 로고    scopus 로고
    • PhD Dissertation, School of Business Administration, University of Belgrade, Belgrade, Serbia and Montenegro
    • Gašević, D. (2004). Petri net ontology. PhD Dissertation, School of Business Administration, University of Belgrade, Belgrade, Serbia and Montenegro.
    • (2004) Petri Net Ontology
    • Gašević, D.1
  • 14
    • 84976815816 scopus 로고
    • Using Petri nets to introduce operating system concepts
    • Dale, N. (Ed.) Paper presented, 7-8 March, San Antonio, USA
    • Jeffrey, J. M. (1991). Using Petri nets to introduce operating system concepts. In Dale, N. (Ed.) Paper presented at the SIGCSE Technical Symposium on Computer Science Education, 7-8 March, San Antonio, USA.
    • (1991) SIGCSE Technical Symposium on Computer Science Education
    • Jeffrey, J.M.1
  • 15
    • 84896898870 scopus 로고    scopus 로고
    • The Petri Net Kernel - An infrastructure for building Petri net tools
    • Kindler, E., & Weber, M. (2001). The Petri Net Kernel - An infrastructure for building Petri net tools. Software Tools for Technology Transfer (STTT), 3 (4), 486-497.
    • (2001) Software Tools for Technology Transfer (STTT) , vol.3 , Issue.4 , pp. 486-497
    • Kindler, E.1    Weber, M.2
  • 18
    • 0036255810 scopus 로고    scopus 로고
    • Using evaluation to shape ITS design: Results and experiences with SQL-tutor
    • Mitrović, A., Martin, B., & Mayo, M. (2002). Using evaluation to shape ITS design: Results and experiences with SQL-tutor.User Modeling and User-Adapted Interaction, 12 (2), 243-279.
    • (2002) User Modeling and User-Adapted Interaction , vol.12 , Issue.2 , pp. 243-279
    • Mitrović, A.1    Martin, B.2    Mayo, M.3
  • 19
    • 0024645936 scopus 로고
    • Petri nets: Properties, analysis and applications
    • Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77 (4), 541-580.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 21
    • 8844220878 scopus 로고    scopus 로고
    • PNML home page
    • PNML (2003). PNML home page, retrieved October 23, 2004, from http://www.informatik.huberlin.de/top/pnml.
    • (2003)
  • 22
    • 8844275613 scopus 로고    scopus 로고
    • PNTDB (2003).Petri Nets Tools Database, retrieved October 23, 2004, from http://www.daimi.au.dk/PetriNets/tools/db.html.
    • (2003) Petri Nets Tools Database


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