King Sing Cheung

Learn More
Abstract. For a discrete-event system specified as a labelled Petri net, locations of conditions are denoted as places with condition labels while locations of events are denoted as transitions with event labels. Very often, the same condition label or event label may appear in multiple locations in the system specification. Since every condition is finally(More)
Labelled Petri nets are commonly used for system specification where the locations of conditions are denoted as places with condition labels and the locations of events as transitions with event labels. It is often in a Petri-net-based specification that the same condition label or event label appears in multiple locations. As every condition is finally(More)
Online courses have been widely used to support teaching and learning in higher education. It is essential to develop methods to properly assess students in online course usages. This paper proposes a student participation index for assessing students in online courses. The index consists of a number of components, such as pages viewed and forum questions(More)