Sciweavers

79 search results - page 3 / 16
» High Level Petri Nets Analysis with Helena
Sort
View
ISPA
2004
Springer
13 years 10 months ago
Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
Michael Knoke, Felix Kühling, Armin Zimmerman...
IADIS
2004
13 years 6 months ago
Constructing Scorm Compliant Course Based on High Level Petri Nets
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...
Jun-Ming Su, Shian-Shyong Tseng, Chia-Yu Chen, Jui...
APN
2005
Springer
13 years 10 months ago
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Jean-Paul Comet, Hanna Klaudel, Stéphane Li...