Sciweavers

16 search results - page 1 / 4
» apn 2005
Sort
View
138
Voted
APN
2005
Springer
16 years 9 days ago
Towards an Algebra for Security Policies
Jonathan D. Pincus, Jeannette M. Wing
158
Voted
APN
2005
Springer
16 years 9 days ago
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Jean-Paul Comet, Hanna Klaudel, Stéphane Li...
APN
2005
Springer
16 years 9 days ago
A Framework to Decompose GSPN Models
Leonardo Brenner, Paulo Fernandes, Afonso Sales, T...
129
Voted
APN
2005
Springer
16 years 9 days ago
Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets
Moe Thandar Wynn, David Edmond, Wil M. P. van der ...
APN
2005
Springer
16 years 9 days ago
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
Charles Lesire, Catherine Tessier