Sciweavers

1397 search results - page 22 / 280
» Manufacturing Modeling using Process Nets with Resources
Sort
View
109
Voted
APN
2008
Springer
15 years 5 days 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
14 years 11 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
15 years 1 months 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
14 years 11 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»
14 years 12 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