Sciweavers

1369 search results - page 118 / 274
» On the Semantics of Petri Nets
Sort
View
CG
1998
Springer
13 years 10 months ago
Animation modeling with petri nets
Léo Pini Magalhães, Alberto Barbosa ...
CL
1999
Springer
13 years 10 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