Search Sciweavers | Sciweavers

52 search results - page 2 / 11

» Object-Oriented Modelling with High-Level Modular Petri Nets

click to vote

ICCS
2004
Springer

120views Applied Computing» more ICCS 2004»

Petri Nets as Executable Specifications of High-Level Timed Parallel Systems

14 years 25 days ago

Download hal.archives-ouvertes.fr

We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of veriﬁcation and we show t...

Franck Pommereau

claim paper

Read More »

click to vote

BIRTHDAY
2005
Springer

80views Applied Computing» more BIRTHDAY 2005»

Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation

14 years 1 months ago

Download tfs.cs.tu-berlin.de

The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a speciﬁc Petri net to a graph rule (behavior rule). This ...

Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl

claim paper

Read More »

click to vote

APN
2004
Springer

127views Artificial Intelligence» more APN 2004»

On the Use of Coloured Petri Nets for Object-Oriented Design

14 years 25 days ago

Download www.estig.ipbeja.pt

Abstract. Behaviour speciﬁcation in object-oriented design clearly beneﬁts from the use of a formal, or semi-formal, visual speciﬁcation language. This is attested by the ado...

João Paulo Barros, Luís Gomes

claim paper

Read More »

click to vote

APN
2005
Springer

78views Artificial Intelligence» more APN 2005»

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

14 years 1 months ago