• Cite Icon1
  • https://doi.org/10.1145/2817460.2817493Copy DOI Icon

Interactive Petri net simulation

  • Jan 1, 1997
  • John Aitcheson +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

A Petri net can provide a graphical model of a concurrent system. They have been used to model such varied systems as resource control, communication networks and manufacturing processes. Computer Science students will, hopefully, learn the theory of Petri nets in a discrete mathematics course or a course on theoretical foundations of Computer Science. They may even see a graph of a sample net in a textbook, but it is unlikely they will have a chance to experiment with a live net. The Interactive Petri Net Simulator (IPNetS) described in this paper provides an easy point-and-click environment for students to design, modify, examine, and execute a Petri net. In seconds any simple Petri net can be created and animated. IPNetS provides display, file handling, and user control functions while a separate execution unit does the actual execution of the net. This flexible design allows for easy experimentation with different execution units and different types of nets. An Ada and a C++ execution unit are contrasted.

Similar Papers
  • Research Article
  • Citations1

Impact of Mathematics on the Theoretical Computer Science Course Units in the General Degree Program in Computer Science at Sri Lankan State Universities

  • Jan 01, 2018
  • Issues in Informing Science and Information Technology
  • Sritharan Thambithurai
  • Conference Article
  • Citations1

Curriculum reorganization and courses' collaboration in computer science

  • Apr 01, 2016
  • Sasko Ristov +3
  • Research Article
  • Citations2

Pengembangan Pembelajaran Matematika Diskrit Menggunakan Google Classroom pada Mahasiswa Pendidikan Matematika

  • Jan 30, 2023
  • Journal on Education
  • Suarti Djafar +2
  • Conference Article
  • Citations21

Has our curriculum become math-phobic? (an American perspective)

  • Jul 13, 2000
  • Charles Kelemen +4
  • Research Article
  • Citations2

Bringing a CURE into a Discrete Mathematics Course and Beyond

  • Dec 01, 2022
  • The Mathematics Enthusiast
  • Lipika Deka +2
  • Book Chapter
  • Citations18

Designing Algorithms in High School Mathematics

  • Jan 01, 2004
  • Sylvia Da Rosa
  • Conference Article

Satisfactory for All: Supporting Mastery Learning with Human-in-the-loop Assessments in a Discrete Math Course

  • Feb 12, 2025
  • Shao-Heng Ko +2
  • Research Article

Анализ методики преподавания дисциплины «дискретная математика» для студентов экономических специальностей

  • Jan 01, 2025
  • ACCOUNTING AND CONTROL
  • Malika Kh Kulikova +2
  • Research Article
  • Citations5

Status report on the SIGCSE committee on the implementation of a discrete mathematics course

  • Feb 23, 2005
  • ACM SIGCSE Bulletin
  • Bill Marion
  • Research Article
  • Citations5

Predictors for success in a discrete math course

  • Jun 01, 2003
  • ACM SIGCSE Bulletin
  • Lisa Jamba-Joyner +1
  • Research Article
  • Citations5

Pengembangan Instrumen Tes Kemampuan Berpikir Kritis Berbasis Higher Order Thinking Skills (HOTS)

  • May 24, 2023
  • Journal on Education
  • I Nyoman Bagus Pramarth +2
  • Research Article

Designing Student Worksheets (LKM) Based on the Rigorous Teaching and Learning (RTL) Model

  • Jul 30, 2024
  • RANGE: Jurnal Pendidikan Matematika
  • Ade Mirza +2
  • Conference Article
  • Citations9

Introducing functional programming in discrete mathematics

  • Mar 01, 1992
  • Roger L Wainwright
  • Research Article

PERCEPTION OF INFORMATICS STUDENTS ABOUT MATERIALS IN DISKRIT MATHEMATICS USING DOMAIN AND CODOMAIN FUNCTIONS

  • Feb 28, 2019
  • Jurnal Daya Matematis
  • Dimas Midyan Alam +1
  • Research Article
  • Citations1

EFEKTIFITAS MODEL PEMBELAJARAN DIRRECT INSTRUCTION DENGAN STRATEGI MOTIVASI ARCS PADA MATERI GRAPH

  • Jul 25, 2011
  • Journal of Mathematics and Mathematics Education
  • Yemi Kuswardi +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.