Sciweavers

16 search results - page 1 / 4
» apn 2005
Sort
View
70
Voted
APN
2005
Springer
15 years 4 months ago
Towards an Algebra for Security Policies
Jonathan D. Pincus, Jeannette M. Wing
83
Voted
APN
2005
Springer
15 years 4 months ago
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Jean-Paul Comet, Hanna Klaudel, Stéphane Li...
66
Voted
APN
2005
Springer
15 years 4 months ago
A Framework to Decompose GSPN Models
Leonardo Brenner, Paulo Fernandes, Afonso Sales, T...
63
Voted
APN
2005
Springer
15 years 4 months 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
15 years 4 months 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