Sciweavers

941 search results - page 99 / 189
» Self-Evolving Petri Nets
Sort
View
144
Voted
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
15 years 11 months ago
Parallel controller synthesis from a Petri net specification
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...
ICRA
1993
IEEE
114views Robotics» more  ICRA 1993»
15 years 11 months ago
A Class of Petri Nets with a Convex Reachability Set
Alessandro Giua, Frank DiCesare
151
Voted
APN
1994
Springer
15 years 11 months ago
A General Systematic Approach to Arc Extensions for Coloured Petri Nets
Charles Lakos, Søren Christensen
131
Voted
APN
1993
Springer
15 years 11 months ago
Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations
José A. Bañares, Pedro R. Muro-Medra...
194
Voted
MFCS
1993
Springer
15 years 11 months ago
Completeness Results for Linear Logic on Petri Nets
Uffe Engberg, Glynn Winskel