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 10 months ago

Download www.cs.ncl.ac.uk

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

claim paper

Read More »

141

click to vote

ACSD
2003
IEEE

211views Hardware» more ACSD 2003»

HiWorD: A Petri Net-Based Hierarchical Workflow Designer

15 years 10 months ago

Download is.tm.tue.nl

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

claim paper

Read More »

119

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 10 months ago

Download semag.dsi.uminho.pt

Jens Bæk Jørgensen

claim paper

Read More »

143

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 9 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers