Petri nets | Sciweavers

22

JOT
2010

216views more JOT 2010»

A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation

13 years 3 months ago

Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...

Elhillali Kerkouche, Allaoua Chaoui, El Bay Bouren...

claim paper

Read More »

17

click to vote

JCSS
2010

111views more JCSS 2010»

Reduction rules for reset/inhibitor nets

13 years 3 months ago

Download is.tm.tue.nl

Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...

H. M. W. Verbeek, Moe Thandar Wynn, Wil M. P. van ...

claim paper

Read More »

11

click to vote

IAJIT
2010

95views more IAJIT 2010»

Modelling of Updating Moving Object Database Using Timed Petri Net Model

13 years 3 months ago

Download www.ccis2k.org

: Tracking moving objects is one of the most common requirements for many location-based applications. The location of a moving object changes continuously but the database locatio...

Hatem Abdul-Kader, Warda El-Kholy

claim paper

Read More »

17

click to vote

FAC
2010

148views more FAC 2010»

Automating the transformation-based analysis of visual languages

13 years 3 months ago

Download astreo.ii.uam.es

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...

Juan de Lara, Hans Vangheluwe

claim paper

Read More »

11

click to vote

SIMPRA
2008

137views more SIMPRA 2008»

An admissible-behaviour-based analysis of the deadlock in Petri-net controllers

13 years 4 months ago

Download msc.fe.uni-lj.si

This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...

G. Music, Drago Matko

claim paper

Read More »

21

click to vote

SAC
2008
ACM

164views Applied Computing» more SAC 2008»

Towards a model-driven engineering approach for developing embedded hard real-time software

13 years 4 months ago

Download eprints.ecs.soton.ac.uk

Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...

Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro

claim paper

Read More »

15

click to vote

ENTCS
2007

150views more ENTCS 2007»

On the Expressiveness of Mobile Synchronizing Petri Nets

13 years 4 months ago

Download antares.sip.ucm.es

In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...

Fernando Rosa Velardo, David de Frutos-Escrig, Olg...

claim paper

Read More »

16

click to vote

STTT
1998

130views more STTT 1998»

The Practitioner's Guide to Coloured Petri Nets

13 years 4 months ago

Download www.dsc.ufcg.edu.br

Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, speciﬁcation, validation, and veriﬁcation of systems. CP-nets have a wide range of applicati...

Lars Michael Kristensen, Søren Christensen,...

claim paper

Read More »

5

click to vote

JUCS
2002

73views more JUCS 2002»

Some Remarks on Codes Defined by Petri Nets

13 years 4 months ago

Download www.jucs.org

: With any Petri net we associated its CPN language which consists of all sequences of transitions which reach a marking with an empty place whereas all proper prefixes of the sequ...

Masami Ito, Jürgen Dassow, Ralf Stiebe

claim paper

Read More »

11

click to vote

INFSOF
2002

85views more INFSOF 2002»

A methodology of testing high-level Petri nets

13 years 4 months ago