新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

fernand0 nets [40 articles]

最近 fernand0 さんのライブラリに追加された論文の中から タグ nets. You can also see everyone's nets.
  • Reduction of constraints for controller synthesis based on safe Petri Nets
    Automatica, Vol. 44, No. 7. (July 2008), pp. 1697-1706.
    by Abbas Dideban, Hassane Alla
    posted to constraints control linear nets petri by fernand0 on 2008-08-29 10:37:13 as **
  • On Siphon Computation for Deadlock Control in a Class of Petri Nets
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 38, No. 3. (2008), pp. 667-679.
    by Zhiwu Li, Mengchu Zhou
    posted to citas computation nets petri siphons by fernand0 on 2008-08-29 10:24:51 as **
  • On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions
    The International Journal of Advanced Manufacturing Technology, Vol. 38, No. 1. (1 July 2008), pp. 195-204.
    by Na Wei, Zhiwu Li
    posted to citas deadlocks nets petri surpervisory by fernand0 on 2008-07-28 11:31:36 as **
  • Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 38, No. 4. (2008), pp. 791-801.
    by ZJ Ding, CJ Jiang, MC Zhou, YY Zhang
    posted to citas deadlocks nets petri petrinets by fernand0 on 2008-07-14 15:19:07 as **
  • Real time identification of discrete event systems using Petri nets
    Automatica, Vol. 44, No. 5. (May 2008), pp. 1209-1219.
    by Mariagrazia Dotoli, Maria P Fanti, Agostino M Mangini
    posted to control discrete event nets petri supervisory systems by fernand0 on 2008-06-13 09:22:57 as **
  • On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 38, No. 2. (2008), pp. 369-384.
    by Z Li, M Zhao
    posted to cerrojos citas deadlock nets petri prevention siphons by fernand0 on 2008-03-19 08:18:21 as **
  • Deadlock control policy for a class of petri nets without complete siphon enumeration
    Control Theory & Applications, IET, Vol. 1, No. 6. (2007), pp. 1594-1605.
    by Z Li, M Zhou, M Uzam
    posted to bloqueos citas deadlock enumeration nets petri siphon by fernand0 on 2008-01-14 16:24:18 as **
  • An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems
    International Journal of Production Research, Vol. 44, No. 10. (2006), pp. 1987-2030.
    by M Uzam, MC Zhou
    posted to comparison deadlock nets petri petri-nets by fernand0 on 2007-10-10 17:26:21 as **
  • An Optimization Approach to Petri Net Monitor Design
    Automatic Control, IEEE Transactions on, Vol. 52, No. 2. (2007), pp. 306-311.
    by Francesco Basile, Pasquale Chiacchio, Alessandro Giua
    posted to deadlock monitor nets petri siphon by fernand0 on 2007-03-22 09:32:58 as **
  • A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1234-1243.
    by J Ezpeleta, R Valk
    posted to banker deadlock nets petri ras by fernand0 on 2007-02-22 12:38:56 as ** along with 1 person and 1 group pverstra macc
  • Supervision Based on Place Invariants: A Survey
    Discrete Event Dynamic Systems, Vol. 16, No. 4. (December 2006), pp. 451-492.
    by Iordache, , Antsaklis,
    posted to supervisory place petri nets deadlock control citas by fernand0 on 2007-02-08 09:20:43 as ***
  • Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS
    The International Journal of Advanced Manufacturing Technology
    by Murat Uzam, Zhiwu Li, Mengchu Zhou
    posted to siphon redundant petri nets deadlock by fernand0 on 2007-02-08 09:00:54 as ***
  • Clarifications on the Definitions of Elementary Siphons in Petri Nets
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1227-1229.
    by Z Li, M Zhou
    posted to siphon petri nets deadlock by fernand0 on 2007-01-19 17:20:14 as **
  • Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1248-1256.
    by YS Huang, M Jeng, X Xie, DH Chung
    posted to siphon petri nets deadlock citas by fernand0 on 2007-01-19 17:11:41 as ** along with 2 people and 1 group pverstra sajehzs macc
  • Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab
    Control Engineering Practice, Vol. 15, No. 2. (February 2007), pp. 241-259.
    by Francesco Basile, Ciro Carbone, Pasquale Chiacchio
    posted to simulation petri nets by fernand0 on 2007-01-10 10:25:14 as ** along with 1 person samsalisbury
  • Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons
    Systems, Man and Cybernetics, Part B, IEEE Transactions on, Vol. 36, No. 6. (2006), pp. 1332-1341.
    by DY Chao
    posted to deadlock nets petri siphons by fernand0 on 2007-01-09 11:22:19 as **
  • The Resource Allocation Problem in Flexible Manufacturing Systems
    Lecture Notes in Computer Science : Applications and Theory of Petri Nets 2003: 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003. Proceedings (2003), pp. 23-35.
    by JM Colom
    posted to allocation bloqueos deadlocks nets petri ras redes resource systems by fernand0 on 2006-12-14 17:34:33 as **
  • Computation of Elementary Siphons in Petri Nets For Deadlock Control
    The Computer Journal, Vol. 49, No. 4. (1 July 2006), pp. 470-479.
    by Daniel Y Chao
    posted to citas deadlock nets petri siphons supervisory by fernand0 on 2006-10-09 09:48:33 as **
  • Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets
    Automatic Control, IEEE Transactions on, Vol. 51, No. 9. (2006), pp. 1472-1481.
    by J Julvez, L Recalde, M Silva
    posted to continuous deadlock nets petri by fernand0 on 2006-09-19 08:35:25 as **
  • Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets
    Math. Comput. Simul., Vol. 70, No. 5. (February 2006), pp. 266-274.
    by Ramavarapu S Sreenivas
    posted to deadlock nets petri supervistoy by fernand0 on 2006-08-31 16:35:03 as read
  • Decentralized Supervision of Petri Nets
    Automatic Control, IEEE Transactions on, Vol. 51, No. 2. (2006), pp. 376-381.
    by MV Iordache, PJ Antsaklis
    posted to deadlock nets petri petri-nets petrinets by fernand0 on 2006-03-10 09:58:12 as **
  • Similarity-Based Supervisory Control of Discrete-Event Systems
    Automatic Control, IEEE Transactions on, Vol. 51, No. 2. (2006), pp. 325-330.
    by Y Cao, M Ying
    posted to deadlock nets petri petri-nets petrinets supervisory by fernand0 on 2006-03-10 09:56:38 as **
  • Deadlock-Free Scheduling and Control of Flexible Manufacturing Cells Using Automata Theory
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 36, No. 2. (2006), pp. 327-337.
    by HR Golmakani, JK Mills, B Benhabib
    posted to deadlock nets petri petri-nets petrinets by fernand0 on 2006-03-10 09:54:49 as ** along with 1 person and 1 group pverstra macc
  • Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles
    Systems, Man and Cybernetics, Part B, IEEE Transactions on, Vol. 35, No. 6. (2005), pp. 1193-1202.
    by Naiqi Wu, Mengchu Zhou
    posted to agv deadlock nets petri petri-nets petrinets by fernand0 on 2006-01-18 10:51:34 as read
  • Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems
    International Journal of Production Research, Vol. 43, No. 24. (15 December 2005), pp. 5131-5159.
    by Maione G A1, F Dicesare
    posted to deadlock digraph graph nets petri siphon by fernand0 on 2006-01-12 10:45:34 as **
  • Reachability of nonsynchronized choice Petri nets and its applications
    Systems, Man and Cybernetics, Part B, IEEE Transactions on, Vol. 35, No. 6. (2005), pp. 1203-1213.
    by DY Chao
    posted to deadlock nets petri by fernand0 on 2005-12-19 16:09:32 as read
  • Enumeration Algorithms for Minimal Siphons in Petri Nets Based on Place Constraints
    Systems, Man and Cybernetics, Part A, IEEE Transactions on, Vol. 35, No. 6. (2005), pp. 844-854.
    by R Cordone, L Ferrarini, L Piroddi
    posted to cerrojos nets petri siphons by fernand0 on 2005-11-14 17:19:21 as **
  • On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets
    Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005,Proceedings
    by K Barkaoui, JM Couvreur, K Klai
    posted to deadlock livenes nets petri supervisory by fernand0 on 2005-11-09 12:13:59 as **
  • Control of Safe Ordinary Petri Nets Using Unfolding
    Discrete Event Dynamic Systems, Vol. 15, No. 4. (December 2005), pp. 350-373.
    by X Xie, A Giua
    posted to control deadlock nets petri supervisory by fernand0 on 2005-11-09 12:08:58 as read
  • Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions
    The International Journal of Advanced Manufacturing Technology, Vol. 24, No. 1 - 2. (July 2004), pp. 48-69.
    by M Uzam
    posted to nets petri supervisory by fernand0 on 2005-09-21 12:01:29 as read along with 1 person and 1 group pverstra macc
  • Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems
    The International Journal of Advanced Manufacturing Technology, Vol. 25, No. 7 - 8. (April 2005), pp. 735-742.
    by Han Zandong, Gibum Lee
    posted to deadlock nets petri petri-nets petrinets siphon by fernand0 on 2005-06-06 16:23:39 as read along with 1 person and 1 group pverstra macc
  • Analysis of discrete event systems by simulation of timed Petri net models
    Mathematics and Computers in Simulation, Vol. 61, No. 1. (01 November 2002), pp. 53-59.
    by Ernesto Lopez-Mellado
    posted to petrinets simulation nets petri petri-nets by fernand0 on 2005-02-18 11:59:00 as read along with 1 person and 1 group pverstra macc
  • A Partial Approach to the Problem of Deadlocks in Processes With Resources
    by Fernando Tricas
    posted to deadlock nets petri petri-nets petrinets siphon by fernand0 on 2005-02-17 15:18:42 as read
  • New Methods for Deadlock Prevention and Avoidance in Concurrent Systems
    by F Tricas, F García-Vallés, J Colom, J Ezpeleta
    posted to petri petri-nets petrinets siphon deadlock nets by fernand0 on 2005-02-17 12:24:17 as **
  • Distributed control systems simulation using high level Petri nets
    Mathematics and Computers in Simulation, Vol. 46, No. 1. (01 April 1998), pp. 47-55.
    by Fernando Tricas, Javier Martinez
    posted to ada distributed nets petri simulation by fernand0 on 2005-02-16 19:00:37 as read
  • An extension of the liveness theory for concurrent sequential processes competing for shared resources
    Systems, Man and Cybernetics, 1995. 'Intelligent Systems for the 21st Century'., IEEE International Conference on, Vol. 4 (1995), pp. 3035-3040 vol.4.
    by F Tricas, J Martinez
    posted to banker deadlock nets petri siphon by fernand0 on 2005-02-16 18:57:16 as read
  • A Petri net solution to the problem of deadlocks in systems of processes with resources
    Emerging Technologies and Factory Automation, 1999. Proceedings. ETFA '99. 1999 7th IEEE International Conference on, Vol. 2 (1999), pp. 1047-1056 vol.2.
    by F Tricas, J Ezpeleta
    posted to banker deadlock nets petri siphon by fernand0 on 2005-02-16 18:56:32 as read along with 1 person zohra
  • Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets
    Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference, Vol. 1 (2003), pp. 322-329 vol.1.
    by F Tricas, J Ezpeleta
    posted to banker deadlock nets petri siphon by fernand0 on 2005-02-16 18:55:45 as read
  • Some improvements to the Banker's algorithm based on the process structure
    Robotics and Automation, 2000. Proceedings. ICRA '00. IEEE International Conference on, Vol. 3 (2000), pp. 2853-2858 vol.3.
    by F Tricas, J Colom, J Ezpeleta
    posted to banker deadlock nets petri by fernand0 on 2005-02-16 18:55:04 as read
  • A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states
    Robotics and Automation, IEEE Transactions on, Vol. 18, No. 4. (2002), pp. 621-625.
    by J Ezpeleta, F Tricas, F Garcia-Valles, J Colom
    posted to banker deadlock nets petri by fernand0 on 2005-02-16 18:54:00 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/fernand0/tag/nets

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.