Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 4 of 161119 results
Sort by: relevance publication year

A class of Petri nets for manufacturing system integration

JOURNAL ARTICLE published June 1997 in IEEE Transactions on Robotics and Automation

Authors: J.M. Proth

https://doi.org/10.1109/70.585895 Actions

Scheduling flexible manufacturing systems using Petri nets and heuristic search

JOURNAL ARTICLE published April 1994 in IEEE Transactions on Robotics and Automation

Authors: F. DiCesare

https://doi.org/10.1109/70.282537 Actions

Automatic synthesis of colored Petri nets for the control of FMS

JOURNAL ARTICLE published June 1997 in IEEE Transactions on Robotics and Automation

Authors: J. Ezpeleta | J.M. Colom

https://doi.org/10.1109/70.585896 Actions

Reachability analysis in T-invariant-less petri nets

JOURNAL ARTICLE published June 2003 in IEEE Transactions on Automatic Control

Authors: A.E. Kostin

https://doi.org/10.1109/tac.2003.812788 Actions

Performance Modeling of Multithreaded Distributed Memory Architectures

BOOK CHAPTER published 2000 in Hardware Design and Petri Nets

Authors: Wlodek M. Zuberek

https://doi.org/10.1007/978-1-4757-3143-9_16 Actions

Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets

JOURNAL ARTICLE published October 2010 in IEEE Transactions on Automation Science and Engineering

Authors: Hesuan Hu | MengChu Zhou | Zhiwu Li

https://doi.org/10.1109/tase.2010.2046412 Actions

Colored timed Petri nets for modeling and analysis of cluser tools

JOURNAL ARTICLE published May 2010 in Asian Journal of Control

Authors: NaiQi Wu | MengChu Zhou

https://doi.org/10.1002/asjc.183 Actions

M-timed Petri nets and Markov chains in modelling of computer systems

PROCEEDINGS ARTICLE published 1986 in Proceedings of the 1986 ACM fourteenth annual conference on Computer science - CSC '86

Authors: W. M. Zuberek

https://doi.org/10.1145/324634.325210 Actions

Modeling and analysis of timed Petri nets using heaps of pieces

PROCEEDINGS ARTICLE published July 1997 in 1997 European Control Conference (ECC)

Authors: Stephane Gaubert | Jean Mairesse

https://doi.org/10.23919/ecc.1997.7082187 Actions

Enzymatic competition: Modeling and verification with timed hybrid petri nets

JOURNAL ARTICLE published April 2009 in Pattern Recognition

Authors: Sylvie Troncale | Jean-Paul Comet | Gilles Bernot

https://doi.org/10.1016/j.patcog.2008.09.019 Actions

A Branch and Bound Algorithm for Cyclic Scheduling of Timed Petri Nets

JOURNAL ARTICLE published January 2015 in IEEE Transactions on Automation Science and Engineering

Authors: Chihyun Jung | Hyun-Jung Kim | Tae-Eog Lee

https://doi.org/10.1109/tase.2013.2285221 Actions

Time-Feasible Reachability Tree for Noncyclic Scheduling of Timed Petri Nets

JOURNAL ARTICLE published July 2015 in IEEE Transactions on Automation Science and Engineering

Research funded by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2011-0011438)

Authors: Hyun-Jung Kim | Jun-Ho Lee | Tae-Eog Lee

https://doi.org/10.1109/tase.2014.2313979 Actions

Reachability Tree-Based Optimization Algorithm for Cyclic Scheduling of Timed Petri Nets

JOURNAL ARTICLE published July 2021 in IEEE Transactions on Automation Science and Engineering

Research funded by Ministry of Education (2020R1I1A307367211) | Pukyong National University Research Fund in 2020 (C-D-2020-0842) | Ministry of Education, Science, and Technology, South Korea (NRF-2018R1D1A1A09082815)

Authors: Chulhan Kim | Tae-Sun Yu | Tae-Eog Lee

https://doi.org/10.1109/tase.2020.3009984 Actions

Performance evaluation of automated manufacturing systems using generalized stochastic Petri nets

JOURNAL ARTICLE published 1990 in IEEE Transactions on Robotics and Automation

Authors: R.Y. Al-Jaar | A.A. Desrochers

https://doi.org/10.1109/70.63259 Actions

Timed Continuous Petri Nets

BOOK CHAPTER published in Discrete, Continuous, and Hybrid Petri Nets

https://doi.org/10.1007/3-540-26821-9_5 Actions

Throughput analysis of simple closed timed Petri net models

PROCEEDINGS ARTICLE published in Proceedings of 36th Midwest Symposium on Circuits and Systems

Authors: W.M. Zuberek

https://doi.org/10.1109/mwscas.1993.343221 Actions

Process nets with resources for manufacturing modeling and their analysis

JOURNAL ARTICLE published December 2002 in IEEE Transactions on Robotics and Automation

https://doi.org/10.1109/tra.2002.805655 Actions

Timed Hybrid Petri Nets

BOOK CHAPTER published in Discrete, Continuous, and Hybrid Petri Nets

https://doi.org/10.1007/3-540-26821-9_6 Actions

Stochastic Timed Petri Nets and Stochastic Petri Nets

BOOK CHAPTER published 1998 in The Kluwer International Series on Discrete Event Dynamic Systems

Authors: Jiacun Wang

https://doi.org/10.1007/978-1-4615-5537-7_5 Actions

Timed Petri Nets and BQOs

BOOK CHAPTER published 2001 in Applications and Theory of Petri Nets 2001

Authors: Parosh Aziz Abdulla | Aletta Nylén

https://doi.org/10.1007/3-540-45740-2_5 Actions
Feedback: support@crossref.org