Sciweavers

957 search results - page 76 / 192
» Negotiations and Petri Nets
Sort
View
APN
2006
Springer
15 years 3 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer
ACSAC
2000
IEEE
15 years 3 months ago
Dynamic Access Control through Petri Net Workflows
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...
Konstantin Knorr
APN
2008
Springer
15 years 1 months ago
Faster Unfolding of General Petri Nets Based on Token Flows
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...
Robin Bergenthum, Robert Lorenz, Sebastian Mauser
CAISE
2008
Springer
15 years 1 months ago
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
Pnina Soffer, Maya Kaner, Yair Wand
BIOCOMP
2006
15 years 1 months ago
Petri Net Based Model Of The T Cell Receptor Signaling Pathway
Intracellular signaling pathways as well as the interactions and coordination that exist among them are complex and difficult to visualize and understand. Computer-based models of...
Srinidhi Jayasuryan, Anil Bamezai, Vijay Gehlot