Sciweavers

70
Voted
TAPSOFT
1995
Springer
15 years 1 months ago
On the Category of Petri Net Computations
Abstract. We introduce the notion of strongly concatenable process as a refinement of concatenable processes [3] which can be expressed axiomatically via a functor Q[ ] from the c...
Vladimiro Sassone