Search Sciweavers | Sciweavers

463 search results - page 27 / 93

» Using Colored Petri Nets for Conversation Modeling

131

Voted

ACSD
2008
IEEE

114views Hardware» more ACSD 2008»

Modeling and verifying asynchronous communication mechanisms using coloured Petri nets

15 years 9 months ago

Download www.embedded.ufcg.edu.br

Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...

Kyller Costa Gorgônio, Fei Xia

claim paper

Read More »

121

click to vote

APN
2005
Springer

78views Artificial Intelligence» more APN 2005»

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

15 years 8 months ago

Download www.i3s.unice.fr

Jean-Paul Comet, Hanna Klaudel, Stéphane Li...

claim paper

Read More »

click to vote

IFIP
2004
Springer

83views Programming Languages» more IFIP 2004»

Modelling Dynamic Opacity Using Petri Nets with Silent Actions

15 years 8 months ago

Download www.cs.ncl.ac.uk

Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan

claim paper

Read More »

click to vote

JIB
2010

74views more JIB 2010»

A New Approach for Modelling Gene Regulatory Networks Using Fuzzy Petri Nets

14 years 10 months ago

Download journal.imbio.de

Raed I. Hamed, S. I. Ahson, R. Parveen

claim paper

Read More »

115

click to vote

DASC
2006
IEEE

205views Applied Computing» more DASC 2006»

Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers