Results 111 to 120 of about 20,113 (245)

Modular Stochastic Rewritable Petri Nets

open access: yesElectronic Proceedings in Theoretical Computer Science
Petri Nets (PN) are widely used for modeling concurrent and distributed systems, but face challenges in modeling adaptive systems. To address this, we have formalized "rewritable" PT nets (RwPT) using Maude, a declarative language with sound rewriting logic semantics.
openaire   +3 more sources

An Efficient Scheduling Method for Grid Systems Based on a Hierarchical Stochastic Petri Net [PDF]

open access: bronze, 2013
Mohammad Shojafar   +3 more
openalex   +1 more source

Home - About - Disclaimer - Privacy