357 search results - page 17 / 72 » On the Model of Computation of Place Transition Petri Nets |
147
Voted
FOSSACS
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
136
click to vote
SOFSEM
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
154
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
The Scholten/Dijkstra "Pebble Game" is re-examined. We show that the algorithm lends itself to a distributed as well as an online version, and even to a reversed variant....
174
click to vote
DSS
2006
15 years 6 months ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
167
click to vote
FAC
2010
15 years 4 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...