Sciweavers

941 search results - page 5 / 189
» Mathematics on the (Semantic) NET
Sort
View
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
14 years 3 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
AOSE
2004
Springer
14 years 3 months ago
Formal Semantics for AUML Agent Interaction Protocol Diagrams
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
Lawrence Cabac, Daniel Moldt
BIOSYSTEMS
2007
76views more  BIOSYSTEMS 2007»
13 years 10 months ago
The mathematical biophysics of Nicolas Rashevsky
N. Rashevsky (1899–1972) was one of the pioneers in the application of mathematics to biology. With the slogan: mathematical biophysics : biology :: mathematical physics : physi...
Paul Cull
APN
2006
Springer
13 years 11 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
FUIN
2008
80views more  FUIN 2008»
13 years 9 months ago
Complete Process Semantics of Petri Nets
In the first part of this paper we extend the semantical framework proposed in [22] for process and causality semantics of Petri nets by an additional aim, firstly mentioned in the...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...