EP 1745375 A1 20070124 - METHOD FOR DETERMINING DEADLOCKS IN SECONDARY PROCESSES
Title (en)
METHOD FOR DETERMINING DEADLOCKS IN SECONDARY PROCESSES
Title (de)
VERFAHREN ZUR BESTIMMUNG VON VERKLEMMUNGEN IN NEBENLÄUFIGEN PROZESSEN
Title (fr)
PROCEDE POUR DETERMINER DES BLOCAGES DANS DES PROCESSUS PARALLELES
Publication
Application
Priority
- EP 2005051986 W 20050502
- DE 102004021975 A 20040504
Abstract (en)
[origin: WO2005109196A1] Disclosed is a method for determining deadlocks in secondary processes for a system model that is described in an object-oriented manner. Said method comprises the following steps: a) all active objects of the object-oriented system model are extracted; b) the transitions between the objects are identified; c) the state-waiting relations between the objects are established; d) potential deadlocks are determined as cycles of entities of two or more different objects, which wait for each other, and for each deadlock; e) all potential paths resulting in a determined deadlock are verified by means of a simulated execution of the system model.
IPC 8 full level
G06F 9/46 (2006.01)
CPC (source: EP US)
G06F 9/524 (2013.01 - EP US)
Citation (search report)
See references of WO 2005109196A1
Citation (examination)
JIE WU ET AL: "A Petri-net-based collision and deadlock avoidance scheme for FMS", EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, 1995. ETFA '95, PROCEEDI NGS., 1995 INRIA/IEEE SYMPOSIUM ON PARIS, FRANCE 10-13 OCT. 1995, LOS ALAMITOS, CA, USA,IEEE COMPUT. SOC, US LNKD- DOI:10.1109/ETFA.1995.496691, vol. 2, 10 October 1995 (1995-10-10), pages 511 - 520, XP010160421, ISBN: 978-0-7803-2535-7
Designated contracting state (EPC)
DE FR GB
DOCDB simple family (publication)
WO 2005109196 A1 20051117; DE 102004021975 A1 20051201; EP 1745375 A1 20070124; JP 2007536661 A 20071213; JP 4637175 B2 20110223; US 2008092147 A1 20080417
DOCDB simple family (application)
EP 2005051986 W 20050502; DE 102004021975 A 20040504; EP 05742661 A 20050502; JP 2007512180 A 20050502; US 57955405 A 20050502