Search Sciweavers | Sciweavers

969 search results - page 92 / 194

» Recursive Petri nets

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 »

124

click to vote

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

15 years 8 months ago

Download is.tm.tue.nl

Boualem Benatallah, Piotr Chrzastowski-Wachtel, Ra...

claim paper

Read More »

103

click to vote

APN
2003
Springer

102views Artificial Intelligence» more APN 2003»

Coloured Petri Nets in Development of a Pervasive Health Care System

15 years 8 months ago

Download semag.dsi.uminho.pt

Jens Bæk Jørgensen

claim paper

Read More »

119

click to vote

CDC
2009
IEEE

169views Control Systems» more CDC 2009»

Modeling and control of elementary 2D-Traffic systems using Petri nets and minplus algebra

15 years 7 months ago

Download mescal.imag.fr

Nadir Farhi

claim paper

Read More »

click to vote

CDC
2009
IEEE

133views Control Systems» more CDC 2009»

Diagnosability of bounded Petri nets

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers