357 search results - page 17 / 72 » On the Model of Computation of Place Transition Petri Nets |
FOSSACS
2010
Springer
14 years 2 months 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-...
SOFSEM
2009
Springer
14 years 2 days 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...
BIRTHDAY
2008
Springer
13 years 9 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....
DSS
2006
13 years 7 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"...
FAC
2010
13 years 6 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...