6 search results - page 1 / 2 » A methodology of testing high-level Petri nets |
APN
2011
Springer
12 years 8 months ago
2011
Springer
IADIS
2004
13 years 5 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
INFSOF
2002
13 years 4 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
IEAAIE
1995
Springer
13 years 7 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
CJ
2004
13 years 4 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...