Sciweavers

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