Sciweavers

1397 search results - page 22 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
APN
2008
Springer
13 years 10 months ago
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
Roland Bouroulet, Raymond R. Devillers, Hanna Klau...
ACL
2006
13 years 10 months ago
Semantic Role Labeling via FrameNet, VerbNet and PropBank
This article describes a robust semantic parser that uses a broad knowledge base created by interconnecting three major resources: FrameNet, VerbNet and PropBank. The FrameNet cor...
Ana-Maria Giuglea, Alessandro Moschitti
COOPIS
2004
IEEE
14 years 13 days ago
Making Workflow Models Sound Using Petri Net Controller Synthesis
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
Juliane Dehnert, Armin Zimmermann
WSC
2000
13 years 10 months ago
Confident decision making and improved throughput for cereal manufacturing with simulation
In 1999, Kellogg Company needed to rationalize its area manufacturing capacity. A significant portion of the production was moved between Kellogg manufacturing plants. Simulation ...
Travis A. Dahl, Brian F. Jacob
BPM
2008
Springer
142views Business» more  BPM 2008»
13 years 10 months ago
Towards Process Models for Disaster Response
In the immediate aftermath of a disaster routine processes, even if specifically designed for such a situation, are not enacted blindly. Actions and processes rather adapt their be...
Dirk Fahland, Heiko Woith