236 search results - page 12 / 48 » On the Algebraic Structure of Petri Nets |
APN
2007
Springer
15 years 3 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...
AB
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
APN
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...
TCS
2008
14 years 9 months ago
2008
We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics--this means that traces, not firing sequences, are given a...
APN
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...