Sciweavers

638 search results - page 50 / 128
» Animation modeling with petri nets
Sort
View
JACIII
2007
84views more  JACIII 2007»
15 years 4 months ago
Advanced Multiple Product Flexible Manufacturing System Modelling Using Coloured Petri Net
Tauseef Aized, Koji Takahashi, Ichiro Hagiwara
CL
1999
Springer
15 years 4 months ago
Compositional Petri net models of advanced tasking in Ada-95
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
113
Voted
SIGMETRICS
1998
ACM
15 years 4 months ago
Modelling with Generalized Stochastic Petri Nets
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Cont...
116
Voted
STTT
2008
83views more  STTT 2008»
15 years 3 months ago
Improving state class constructions for CTL* model checking of time Petri nets
Rachid Hadjidj, Hanifa Boucheneb
107
Voted
MATES
2010
Springer
15 years 2 months ago
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach
Simon Adameit, Tobias Betz, Lawrence Cabac, Floria...