skip to main content

Results 1 - 10 of 7,303  for Great Falls College MSU

Results 1 2 3 4 5 next page
Show only
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Biological petri nets
Material Type:
Electronic Book
Add to e-Shelf

Biological petri nets

Edgar Wingender 2011

Online access

2
Property-preserving petri net process algebra in software engineering
Material Type:
Electronic Book
Add to e-Shelf

Property-preserving petri net process algebra in software engineering

Hejiao Huang Hejiao Huang 2012

Online access

3
Systems dependability assessment : benefits of petri net models
Material Type:
Electronic Book
Add to e-Shelf

Systems dependability assessment : benefits of petri net models

Jean-François Aubry author Nicolae Brînzei author.; Mohammed-Habib Mazouni author. 2015

Online access

4
Logic, Computation, Hierarchies
Material Type:
Electronic Book
Add to e-Shelf

Logic, Computation, Hierarchies

Vasco Brattka editor.; Hannes Diener editor.; Dieter Spreen editor. 2014

Online access

5
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Material Type:
Electronic Book
Add to e-Shelf

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Michael Yoeli 1917- Rakefet Kol c2008

Online access

6
Petri nets fundamental models, verification and applications
Material Type:
Electronic Book
Add to e-Shelf

Petri nets fundamental models, verification and applications

Michel Diaz 1945- 2009

Online access

7
Oris: a tool for modeling, verification and evaluation of real-time systems
Material Type:
Article
Add to e-Shelf

Oris: a tool for modeling, verification and evaluation of real-time systems

Bucci, Giacomo ; Carnevali, Laura ; Ridi, Lorenzo ; Vicario, Enrico

International journal on software tools for technology transfer, 2010-09, Vol.12 (5), p.391-403 [Peer Reviewed Journal]

Full text available

8
Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource
Material Type:
Article
Add to e-Shelf

Deadlock and Blockage Control of Automated Manufacturing Systems with an Unreliable Resource

Luo, JianChao ; Xing, KeYi ; Zhou, MengChu

Asian journal of control, 2020-01, Vol.22 (1), p.334-345 [Peer Reviewed Journal]

Full text available

9
An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets
Material Type:
Article
Add to e-Shelf

An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets

Zhu, Guanghui ; Feng, Lei ; Li, Zhiwu ; Wu, NaiQi

IEEE transactions on automatic control, 2020-07-11, p.1-1 [Peer Reviewed Journal]

Full text available

10
Failure Identification in Smart Grids Based on Petri Net Modeling
Material Type:
Article
Add to e-Shelf

Failure Identification in Smart Grids Based on Petri Net Modeling

Calderaro, V ; Hadjicostis, C. N ; Piccolo, A ; Siano, P

IEEE transactions on industrial electronics (1982), 2011-10, Vol.58 (10), p.4613-4623 [Peer Reviewed Journal]

Full text available

Results 1 - 10 of 7,303  for Great Falls College MSU

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (2,626)

Refine My Results

Resource Type 

  1. Articles  (4,886)
  2. Conference Proceedings  (1,885)
  3. Dissertations  (201)
  4. Reports  (140)
  5. Book Chapters  (78)
  6. Text Resources  (49)
  7. Books  (24)
  8. Datasets  (21)
  9. Electronic Books  (6)
  10. Web Resources  (5)
  11. Reviews  (5)
  12. Videos  (2)
  13. Reference Entries  (1)
  14. More options open sub menu

Creation Date 

From To
  1. Before 1984  (52)
  2. 1984 To 1992  (499)
  3. 1993 To 2000  (2,084)
  4. 2001 To 2009  (1,389)
  5. After 2009  (2,460)
  6. More options open sub menu

Language 

  1. English  (7,164)
  2. French  (53)
  3. Japanese  (42)
  4. Portuguese  (41)
  5. Spanish  (28)
  6. Czech  (12)
  7. Chinese  (12)
  8. Russian  (7)
  9. German  (7)
  10. Catalan  (4)
  11. Croatian  (4)
  12. Persian  (4)
  13. Indonesian  (3)
  14. Korean  (2)
  15. Lithuanian  (1)
  16. Arabic  (1)
  17. Turkish  (1)
  18. Swedish  (1)
  19. More options open sub menu

Classification LCC 

  1. Q - Science.  (5)
  2. T - Technology .  (1)
  3. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Diaz, Michel
  2. Huang, Hejiao
  3. Yoeli, Michael
  4. Diener, Hannes
  5. Mazouni, Mohammed-Habib

Searching Remote Databases, Please Wait