1369 search results - page 97 / 274 » On the Semantics of Petri Nets |
115
click to vote
DEDS
2008
15 years 1 months ago
2008
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
117
click to vote
FUIN
2010
14 years 10 months ago
2010
In this paper we study decidability of several extensions of P/T nets with name creation and/or replication. In particular, we study how to restrict the models of RN systems (P/T n...
HICSS
1995
IEEE
15 years 4 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
ETFA
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we deal with the problem of determining a set of decentralized controllers for P/T nets that are able to impose a given global specification on the net behaviour. M...
ACSD
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...