Sciweavers

941 search results - page 19 / 189
» Petri Nets Are Dioids
Sort
View
CG
1998
Springer
14 years 11 months ago
Animation modeling with petri nets
Léo Pini Magalhães, Alberto Barbosa ...
CL
1999
Springer
14 years 11 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
SIGMETRICS
1998
ACM
14 years 11 months ago
Modelling with Generalized Stochastic Petri Nets
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Cont...