Sciweavers

126 search results - page 1 / 26
» Interpreted Nets
Sort
View
FUIN
2007
100views more  FUIN 2007»
13 years 4 months ago
Interpreted Nets
The nets considered here are an extension of Petri nets in two aspects. In the semantical aspect, there is no one firing rule common to all transitions, but every transition is tr...
Ludwik Czaja
CONCUR
2005
Springer
13 years 10 months ago
The Individual and Collective Token Interpretations of Petri Nets
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
Rob J. van Glabbeek
ICALP
2000
Springer
13 years 8 months ago
Algebraic Models for Contextual Nets
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
Roberto Bruni, Vladimiro Sassone
APN
2001
Springer
13 years 9 months ago
Two Algebraic Process Semantics for Contextual Nets
We show that the so-called ‘Petri nets are monoids’ approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by...
Roberto Bruni, Vladimiro Sassone
APN
2006
Springer
13 years 6 months ago
How Expressive Are Petri Net Schemata?
Petri net schemata are an intuitive and expressive approach to describe high-level Petri nets. A Petri net schema is a Petri net with edges and transitions inscribed by terms and B...
Andreas Glausch, Wolfgang Reisig