Search Sciweavers | Sciweavers

941 search results - page 126 / 189

» Haskell-Coloured Petri Nets

click to vote

TOPNOC
2008

122views Artificial Intelligence» more TOPNOC 2008»

Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization

14 years 11 months ago

Download wwwis.win.tue.nl

State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...

H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wi...

claim paper

Read More »

click to vote

JIB
2007

79views more JIB 2007»

A High-Level Petri Net Framework for Genetic Regulatory Networks

14 years 11 months ago

Download www.cs.ncl.ac.uk

Richard Banks, L. Jason Steggles

claim paper

Read More »

click to vote

ACJ
2000

44views more ACJ 2000»

A Slicing-based Approach to Enhance Petri Net Reachability Analysis

14 years 11 months ago

Download salmosa.kaist.ac.kr

Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. K...

claim paper

Read More »

click to vote

CJ
2000

52views more CJ 2000»

Modular Analysis of Petri Nets

14 years 11 months ago

Download www-lipn.univ-paris13.fr

Søren Christensen, Laure Petrucci

claim paper

Read More »

click to vote

SACMAT
2003
ACM

123views Control Systems» more SACMAT 2003»

Cooperative role-based administration

15 years 4 months ago

Download ls3-www.cs.uni-dortmund.de

In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...

Horst Wedde, Mario Lischka

claim paper

Read More »

« Prev « First page 126 / 189 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers