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

13 years 9 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

13 years 9 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

13 years 9 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

13 years 9 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

14 years 2 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