Registrer deg | Logg på | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

pverstras petri-net [27 articles]

Artikler nylig sendt til pverstras bibliotek klassifisert med nøkkelordet petri-net. You can also see everyone's petri-net.
  • Agents and Petri Nets
    (1995)
    by T Holvoet
    posted to petri_nets petri-net agent by pverstra on 2008-05-08 17:07:15 as read
  • Models for Concurrency
    (1995)
    by G Winskel, M Nielsen
    edited by S Abramsky, D Gabbay, TSE Maibaum
    posted to concurrency petri-net petri_nets by pverstra on 2008-02-14 10:04:35 as **
  • Nets, time and space
    Theoretical Computer Science, Vol. 153, No. 1-2. (8 January 1996), pp. 3-48.
    by CA Petri
    posted to petri-net petri_nets by pverstra on 2008-02-14 09:41:05 as **
  • Petri's Axioms of Concurrency- A Selection of Recent Results
    (1997), pp. 195-214.
    by Olaf Kummer, Mark O Stehr
    posted to petri-net petri_nets by pverstra on 2008-02-13 14:19:40 as **
  • Modelling with Generalized Stochastic Petri Nets
    (28 November 1995)
    by G Balbo, G Conte, S Donatelli, G Franceschinis, Ajmone M Marsan
    posted to modeling petri-net petri_nets by pverstra on 2008-01-30 08:29:44 as ** along with 1 person samsalisbury
  • 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 deadlock manufacturing manufacturing-control manufacturing_control petri petri-net petri_nets by pverstra on 2007-02-22 17:27:43 as ** along with 1 person and 1 group fernand0 macc
  • 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 petri_nets petri-net manufacturing_control manufacturing-control manufacturing by pverstra on 2007-01-29 12:48:35 as *** along with 2 people and 1 group fernand0 sajehzs macc
  • A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior
    Lecture Notes in Computer Science : Formal Approaches to Agent-Based Systems (2002), pp. 28-36.
    by Bahram Kimiaghalam, Abdollah Homaifar, Albert Esterline
    posted to agent petri-net by pverstra on 2006-10-23 12:09:34 as *** along with 8 people and 2 groups locatellimp eldaly pcoupe ben500 livingthingdan mzygmunt huminfly thjt macc livingthing
  • Using Petri Nets for Specifying Active Objects and Generative Communication
    Lecture Notes in Computer Science, Vol. 2001 (2001), pp. 38-??.
    by T Holvoet, P Verbaeten
    posted to petri-net petri_nets by pverstra on 2006-02-09 13:56:43 as ** along with 1 group macc
  • A Petri net based design engine for manufacturing systems.
    International Journal of Production Research, Vol. 39, No. 2. (2001), pp. 225-253.
    by A Zimmermann, J Freiheit, A Huck
    posted to petri-net petri_nets by pverstra on 2006-02-08 12:34:12 as ** along with 1 group macc
  • From Coloured Petri Nets to Object Petri Nets
    (1995), pp. 278-297.
    by Charles Lakos
    posted to petri-net petri_nets by pverstra on 2006-02-02 16:23:35 as ** along with 1 group macc
  • From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
    SIGSOFT Softw. Eng. Notes, Vol. 29, No. 1. (January 2004), pp. 25-36.
    by Juan P L&\#243;pez-Grao, Jos&\#233; Merseguer, Javier Campos
    posted to petri-net petri_nets uml by pverstra on 2006-01-31 17:09:58 as ** along with 1 person and 1 group skounev macc
  • Decidability of Model Checking for Infinite-State Concurrent Systems
    Acta Informatica, Vol. 34, No. 2. (???? 1997), pp. 85-107.
    by Javier Esparza
    posted to petri-net petri_nets by pverstra on 2006-01-30 17:15:05 as ** along with 1 group macc
  • On the Decidability of Model Checking for Several -calculi and Petri Nets
    (1994), pp. 115-129.
    by Javier Esparza
    posted to petri-net petri_nets by pverstra on 2006-01-30 17:13:50 as ** along with 1 person and 1 group tautologico macc
  • A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
    ACM Trans. Comput. Syst., Vol. 2, No. 2. (May 1984), pp. 93-122.
    by Marco A Marsan, Gianni Conte, Gianfranco Balbo
    posted to petri petri-net petri_nets timed_petri_nets by pverstra on 2006-01-30 16:38:31 as ** along with 1 group macc
  • Properties of Distributed Timed-Arc Petri Nets
    Lecture Notes in Computer Science, Vol. 2245 (2001), pp. 280-??.
    by Mogens Nielsen, Vladimiro Sassone, Jir\i Srba
    posted to petri petri-net petri_nets timed_petri_nets by pverstra on 2006-01-30 15:54:48 as ** along with 1 group 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 petri petri-net petri_nets timed_petri_nets by pverstra on 2006-01-30 15:46:38 as ** along with 1 person and 1 group fernand0 macc
  • Towards a Petri-net Semantics of Data Flow in UML 2.0 Activities
    by H Storrle
    posted to petri-net petri_nets uml by pverstra on 2006-01-30 14:19:38 as read along with 1 person and 1 group andreasauerwein macc
  • Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach
    Semiconductor Manufacturing, IEEE Transactions on, Vol. 11, No. 3. (1998), pp. 333-357.
    by Mengchu Zhou
    posted to manufacturing_control petri-net petri_nets timed_petri_nets by pverstra on 2006-01-30 14:09:21 as ** along with 1 group 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 manufacturing_control petri-net reachability by pverstra on 2006-01-30 13:38:11 as * along with 1 person and 1 group fernand0 macc
  • Petri Nets: Properties, Analysis and Applications.
    (April 1989), pp. 541-580.
    by Tadao Murata
    posted to petri-net petri_nets by pverstra on 2006-01-25 17:49:15 as read along with 1 group macc
  • An Introduction to the Theoretical Aspects of Coloured Petri Nets
    (1994), pp. 230-272.
    by Kurt Jensen
    posted to petri-net petri_nets by pverstra on 2006-01-25 12:22:42 as read along with 1 group macc
  • Renew -- The Reference Net Workshop
    (June 2003), pp. 99-102.
    by Olaf Kummer, Frank Wienberg, Michael Duvigneau, Michael Köhler, Daniel Moldt, Heiko Rölke
    edited by Eric Veerbeek
    posted to petri-net petri_nets by pverstra on 2006-01-19 16:10:43 as read along with 1 group macc
  • Some Decidability Results for Nested Petri Nets
    (2000), pp. 208-220.
    by Irina A Lomazova, Ph
    posted to petri-net petri_nets by pverstra on 2006-01-18 17:08:28 as ** along with 1 group macc
  • Concurrent Architecture for a Multi-agent Platform
    Vol. 2585 (2003)
    by Michael Duvigneau, Daniel Moldt, Heiko Rölke
    edited by Fausto Giunchiglia, James Odell, Gerhard Wei\ss
    posted to agent formalism petri-net petri_nets reference-nets by pverstra on 2006-01-18 15:27:05 as ** along with 1 group macc
  • Introduction to Petri Nets and Reference Nets.
    SozionikAktuell 1:2001 / Rolf von Lüde, Daniel Moldt, Rüdiger Valk (Hrsg.) (2001), pp. 7-16.
    by Olaf Kummer
    posted to petri-net petri_nets by pverstra on 2006-01-17 10:46:37 as ** along with 1 group macc
  • A formal validation approach for holonic control system specifications
    Emerging Technologies and Factory Automation, 2003. Proceedings. ETFA '03. IEEE Conference, Vol. 1 (2003), pp. 203-210 vol.1.
    by P Leitao, AW Colombo, F Restivo
    posted to petri-net petri_nets by pverstra on 2006-01-17 09:03:58 as ** along with 1 person and 1 group fjr macc
    • NB: Du kan sitere denne siden som: http://www.citeulike.org/user/pverstra/tag/petri-net

    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.