Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:( en PETRI NETS). Showing records 1 – 30 of 36339 total matches.

[1] [2] [3] [4] [5] … [1212]

Search Limiters

Last 2 Years | English Only

Languages

Country

▼ Search Limiters


Pontifical Catholic University of Rio de Janeiro

1. GIOVANNI CORDEIRO BARROSO. [en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO.

Degree: 2009, Pontifical Catholic University of Rio de Janeiro

[pt] A modelagem de sistemas que apresentam subsistemas idênticos, por intermédio de Redes de Petri, conduz à geração de grafos de grandes dimensões com diversos… (more)

Subjects/Keywords: [pt] REDES DE PETRI; [en] PETRI NETS; [pt] REDES DE PETRI COLORIDAS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

BARROSO, G. C. (2009). [en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

BARROSO, GIOVANNI CORDEIRO. “[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO.” 2009. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed November 29, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

BARROSO, GIOVANNI CORDEIRO. “[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO.” 2009. Web. 29 Nov 2020.

Vancouver:

BARROSO GC. [en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. [cited 2020 Nov 29]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

BARROSO GC. [en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Illinois – Urbana-Champaign

2. Deverakonda, Vijayalakshmi. Disjunctive normal formula based supervisory control policy for general Petri nets.

Degree: MS, 0127, 2014, University of Illinois – Urbana-Champaign

 A Petri net (PN) is said to be live if it is possible to re any transition, although not immediately, from every reachable marking. A… (more)

Subjects/Keywords: Petri Nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Deverakonda, V. (2014). Disjunctive normal formula based supervisory control policy for general Petri nets. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/50715

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Deverakonda, Vijayalakshmi. “Disjunctive normal formula based supervisory control policy for general Petri nets.” 2014. Thesis, University of Illinois – Urbana-Champaign. Accessed November 29, 2020. http://hdl.handle.net/2142/50715.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Deverakonda, Vijayalakshmi. “Disjunctive normal formula based supervisory control policy for general Petri nets.” 2014. Web. 29 Nov 2020.

Vancouver:

Deverakonda V. Disjunctive normal formula based supervisory control policy for general Petri nets. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2014. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/2142/50715.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Deverakonda V. Disjunctive normal formula based supervisory control policy for general Petri nets. [Thesis]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/50715

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

3. ISABEL MARIA LAMBERT TORRES. [en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP.

Degree: 2009, Pontifical Catholic University of Rio de Janeiro

[pt] Este trabalho apresenta o desenvolvimento de um software baseado nas Redes de Petri e nos Sistemas Especialistas para modelagem, escalonameto e simulação das atividades… (more)

Subjects/Keywords: [pt] SISTEMAS ESPECIALISTAS; [en] EXPERT SYSTEMS; [pt] REDES DE PETRI; [en] PETRI NETS; [pt] OFICINA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

TORRES, I. M. L. (2009). [en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14299

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

TORRES, ISABEL MARIA LAMBERT. “[en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP.” 2009. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed November 29, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14299.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

TORRES, ISABEL MARIA LAMBERT. “[en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP.” 2009. Web. 29 Nov 2020.

Vancouver:

TORRES IML. [en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. [cited 2020 Nov 29]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14299.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

TORRES IML. [en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14299

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

4. BEATRIZ MARQUES SANTIAGO. [en] USE OF PETRI NET TO MODEL RESOURCE ALLOCATION IN PROCESS MINING.

Degree: 2019, Pontifical Catholic University of Rio de Janeiro

[pt] Business Process Management é a ciência de observar como o trabalho é realizado em determinada organização garantindo produtos consistentes e se aproveitando de oportunidades… (more)

Subjects/Keywords: [pt] REDES DE PETRI; [en] PETRI NETS; [pt] ALOCACAO DE RECURSOS; [en] RESOURCE ALLOCATION; [pt] MINERACAO DE PROCESSOS; [en] PROCESS MINING

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SANTIAGO, B. M. (2019). [en] USE OF PETRI NET TO MODEL RESOURCE ALLOCATION IN PROCESS MINING. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=45987

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

SANTIAGO, BEATRIZ MARQUES. “[en] USE OF PETRI NET TO MODEL RESOURCE ALLOCATION IN PROCESS MINING.” 2019. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed November 29, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=45987.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

SANTIAGO, BEATRIZ MARQUES. “[en] USE OF PETRI NET TO MODEL RESOURCE ALLOCATION IN PROCESS MINING.” 2019. Web. 29 Nov 2020.

Vancouver:

SANTIAGO BM. [en] USE OF PETRI NET TO MODEL RESOURCE ALLOCATION IN PROCESS MINING. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. [cited 2020 Nov 29]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=45987.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

SANTIAGO BM. [en] USE OF PETRI NET TO MODEL RESOURCE ALLOCATION IN PROCESS MINING. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=45987

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

5. BRUNO LOPES VIEIRA. [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS.

Degree: 2015, Pontifical Catholic University of Rio de Janeiro

[pt] Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo… (more)

Subjects/Keywords: [pt] LOGICA; [en] LOGIC; [pt] REDES DE PETRI; [en] PETRI NETS; [pt] LOGICA MODAL; [en] LOGIC MODAL; [pt] LOGICA DINAMICA; [en] DYNAMIC LOGIC; [pt] REDES DE PETRI ESTOCATISCAS; [en] STOCHASTIC PETRI NETS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

VIEIRA, B. L. (2015). [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

VIEIRA, BRUNO LOPES. “[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS.” 2015. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed November 29, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

VIEIRA, BRUNO LOPES. “[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS.” 2015. Web. 29 Nov 2020.

Vancouver:

VIEIRA BL. [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. [cited 2020 Nov 29]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

VIEIRA BL. [en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2015. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Utah

6. Thacker, Robert A. New verification method for embedded systems.

Degree: PhD, College of Engineering; (School of);, 2010, University of Utah

 Cyber-physical systems, in which computers control real-world mechanisms, are ever more pervasive in our society. These complex systems, containing a mixture of software, digital hardware,… (more)

Subjects/Keywords: Embedded systems; Petri nets; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Thacker, R. A. (2010). New verification method for embedded systems. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1152/rec/817

Chicago Manual of Style (16th Edition):

Thacker, Robert A. “New verification method for embedded systems.” 2010. Doctoral Dissertation, University of Utah. Accessed November 29, 2020. http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1152/rec/817.

MLA Handbook (7th Edition):

Thacker, Robert A. “New verification method for embedded systems.” 2010. Web. 29 Nov 2020.

Vancouver:

Thacker RA. New verification method for embedded systems. [Internet] [Doctoral dissertation]. University of Utah; 2010. [cited 2020 Nov 29]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1152/rec/817.

Council of Science Editors:

Thacker RA. New verification method for embedded systems. [Doctoral Dissertation]. University of Utah; 2010. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd2/id/1152/rec/817


University of Alberta

7. Wong, Kok-Lung. Distributed simulation of performance Petri nets.

Degree: MS, Department of Computing Science, 1988, University of Alberta

Subjects/Keywords: Petri nets.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wong, K. (1988). Distributed simulation of performance Petri nets. (Masters Thesis). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/n583xx41q

Chicago Manual of Style (16th Edition):

Wong, Kok-Lung. “Distributed simulation of performance Petri nets.” 1988. Masters Thesis, University of Alberta. Accessed November 29, 2020. https://era.library.ualberta.ca/files/n583xx41q.

MLA Handbook (7th Edition):

Wong, Kok-Lung. “Distributed simulation of performance Petri nets.” 1988. Web. 29 Nov 2020.

Vancouver:

Wong K. Distributed simulation of performance Petri nets. [Internet] [Masters thesis]. University of Alberta; 1988. [cited 2020 Nov 29]. Available from: https://era.library.ualberta.ca/files/n583xx41q.

Council of Science Editors:

Wong K. Distributed simulation of performance Petri nets. [Masters Thesis]. University of Alberta; 1988. Available from: https://era.library.ualberta.ca/files/n583xx41q

8. Amaldev, Manuel. Counter automata and classical logics for data words; -.

Degree: Mathematical Science, 2011, INFLIBNET

This thesis takes shape in the ongoing study of automata and logics for data words ? finite words labelled with elements from an infinite alphabet.… (more)

Subjects/Keywords: Petri nets; Mathematical Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Amaldev, M. (2011). Counter automata and classical logics for data words; -. (Thesis). INFLIBNET. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/4717

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Amaldev, Manuel. “Counter automata and classical logics for data words; -.” 2011. Thesis, INFLIBNET. Accessed November 29, 2020. http://shodhganga.inflibnet.ac.in/handle/10603/4717.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Amaldev, Manuel. “Counter automata and classical logics for data words; -.” 2011. Web. 29 Nov 2020.

Vancouver:

Amaldev M. Counter automata and classical logics for data words; -. [Internet] [Thesis]. INFLIBNET; 2011. [cited 2020 Nov 29]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/4717.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Amaldev M. Counter automata and classical logics for data words; -. [Thesis]. INFLIBNET; 2011. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/4717

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

9. Praveen, M. Parameterized complexity of some problems in concurrency and verification; -.

Degree: Mathematics, 2011, INFLIBNET

Formal methods for the analysis of concurrent systems are an active area of research. Many mathematical models like Petri nets, communicating automata, automata with auxiliary… (more)

Subjects/Keywords: Petri Nets; Treewidth; Mathematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Praveen, M. (2011). Parameterized complexity of some problems in concurrency and verification; -. (Thesis). INFLIBNET. Retrieved from http://shodhganga.inflibnet.ac.in/handle/10603/4733

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Praveen, M. “Parameterized complexity of some problems in concurrency and verification; -.” 2011. Thesis, INFLIBNET. Accessed November 29, 2020. http://shodhganga.inflibnet.ac.in/handle/10603/4733.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Praveen, M. “Parameterized complexity of some problems in concurrency and verification; -.” 2011. Web. 29 Nov 2020.

Vancouver:

Praveen M. Parameterized complexity of some problems in concurrency and verification; -. [Internet] [Thesis]. INFLIBNET; 2011. [cited 2020 Nov 29]. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/4733.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Praveen M. Parameterized complexity of some problems in concurrency and verification; -. [Thesis]. INFLIBNET; 2011. Available from: http://shodhganga.inflibnet.ac.in/handle/10603/4733

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Tasmania

10. Lewis, GA. Incremental specification and analysis in the context of coloured Petri nets.

Degree: 2002, University of Tasmania

 Incremental development involves creating a new specification or implementation by modifying an existing one. This is a commonly used technique for handling complex systems in… (more)

Subjects/Keywords: Petri nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lewis, G. (2002). Incremental specification and analysis in the context of coloured Petri nets. (Thesis). University of Tasmania. Retrieved from https://eprints.utas.edu.au/20504/1/whole_LewisGlennAnthony2002_thesis.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lewis, GA. “Incremental specification and analysis in the context of coloured Petri nets.” 2002. Thesis, University of Tasmania. Accessed November 29, 2020. https://eprints.utas.edu.au/20504/1/whole_LewisGlennAnthony2002_thesis.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lewis, GA. “Incremental specification and analysis in the context of coloured Petri nets.” 2002. Web. 29 Nov 2020.

Vancouver:

Lewis G. Incremental specification and analysis in the context of coloured Petri nets. [Internet] [Thesis]. University of Tasmania; 2002. [cited 2020 Nov 29]. Available from: https://eprints.utas.edu.au/20504/1/whole_LewisGlennAnthony2002_thesis.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lewis G. Incremental specification and analysis in the context of coloured Petri nets. [Thesis]. University of Tasmania; 2002. Available from: https://eprints.utas.edu.au/20504/1/whole_LewisGlennAnthony2002_thesis.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universitat Rovira i Virgili

11. Turaev, Sherzod. Petri net controlled grammars.

Degree: Departament de Filologies Romàniques, 2010, Universitat Rovira i Virgili

 Los diferentes tipos de gramáticas con reescritura regulada han sido introducidas para complementar las deficiencias de las gramáticas libres del contexto en las aplicaciones, preservando… (more)

Subjects/Keywords: petri nets; 004; 51

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Turaev, S. (2010). Petri net controlled grammars. (Thesis). Universitat Rovira i Virgili. Retrieved from http://hdl.handle.net/10803/8799

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Turaev, Sherzod. “Petri net controlled grammars.” 2010. Thesis, Universitat Rovira i Virgili. Accessed November 29, 2020. http://hdl.handle.net/10803/8799.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Turaev, Sherzod. “Petri net controlled grammars.” 2010. Web. 29 Nov 2020.

Vancouver:

Turaev S. Petri net controlled grammars. [Internet] [Thesis]. Universitat Rovira i Virgili; 2010. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/10803/8799.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Turaev S. Petri net controlled grammars. [Thesis]. Universitat Rovira i Virgili; 2010. Available from: http://hdl.handle.net/10803/8799

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Adelaide

12. Bowden, Fred D. J. The modelling and analysis of command and control decision processes using extended time petri nets.

Degree: 2001, University of Adelaide

 Effective command and control is crucial to both military and non-military environments. Accurate representations of the processes associated with the inter and intra activities of… (more)

Subjects/Keywords: petri nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bowden, F. D. J. (2001). The modelling and analysis of command and control decision processes using extended time petri nets. (Thesis). University of Adelaide. Retrieved from http://hdl.handle.net/2440/50724

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bowden, Fred D J. “The modelling and analysis of command and control decision processes using extended time petri nets.” 2001. Thesis, University of Adelaide. Accessed November 29, 2020. http://hdl.handle.net/2440/50724.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bowden, Fred D J. “The modelling and analysis of command and control decision processes using extended time petri nets.” 2001. Web. 29 Nov 2020.

Vancouver:

Bowden FDJ. The modelling and analysis of command and control decision processes using extended time petri nets. [Internet] [Thesis]. University of Adelaide; 2001. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/2440/50724.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bowden FDJ. The modelling and analysis of command and control decision processes using extended time petri nets. [Thesis]. University of Adelaide; 2001. Available from: http://hdl.handle.net/2440/50724

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

13. DANIEL DUQUE GUIMARAES SARAIVA. [en] DEALING WITH DECISION POINTS IN PROCESS MINING.

Degree: 2019, Pontifical Catholic University of Rio de Janeiro

[pt] Devido ao grande aumento da competitividade e da, cada vez maior, demanda por eficiência, muitas empresas perceberam que é necessário repensar e melhorar seus… (more)

Subjects/Keywords: [pt] ARVORE DE DECISAO; [en] DECISION TREE; [pt] REDES DE PETRI; [en] PETRI NETS; [pt] MINERACAO DE PROCESSOS; [en] PROCESS MINING; [pt] MINERACAO DE DECISAO; [pt] PONTO DE DECISAO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SARAIVA, D. D. G. (2019). [en] DEALING WITH DECISION POINTS IN PROCESS MINING. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=37835

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

SARAIVA, DANIEL DUQUE GUIMARAES. “[en] DEALING WITH DECISION POINTS IN PROCESS MINING.” 2019. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed November 29, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=37835.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

SARAIVA, DANIEL DUQUE GUIMARAES. “[en] DEALING WITH DECISION POINTS IN PROCESS MINING.” 2019. Web. 29 Nov 2020.

Vancouver:

SARAIVA DDG. [en] DEALING WITH DECISION POINTS IN PROCESS MINING. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. [cited 2020 Nov 29]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=37835.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

SARAIVA DDG. [en] DEALING WITH DECISION POINTS IN PROCESS MINING. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2019. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=37835

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Pontifical Catholic University of Rio de Janeiro

14. NELSON RAMOS RIBEIRO. [en] LANBRET-DMS - VOICE AND DATA INTEGRATED MESSAGE SYSTEM FOR LOCAL AREA NETWORK ENVIRONMENT.

Degree: 2007, Pontifical Catholic University of Rio de Janeiro

[pt] Este trabalho visa apresentar a integração de várias mídias de informação, como voz, texto, imagem e gráficos em um ambiente de troca de mensagens… (more)

Subjects/Keywords: [pt] REDES DE PETRI; [en] PETRI NETS; [pt] SISTEMA INTEGRADO; [en] INTEGRATED SYSTEM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

RIBEIRO, N. R. (2007). [en] LANBRET-DMS - VOICE AND DATA INTEGRATED MESSAGE SYSTEM FOR LOCAL AREA NETWORK ENVIRONMENT. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10272

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

RIBEIRO, NELSON RAMOS. “[en] LANBRET-DMS - VOICE AND DATA INTEGRATED MESSAGE SYSTEM FOR LOCAL AREA NETWORK ENVIRONMENT.” 2007. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed November 29, 2020. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10272.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

RIBEIRO, NELSON RAMOS. “[en] LANBRET-DMS - VOICE AND DATA INTEGRATED MESSAGE SYSTEM FOR LOCAL AREA NETWORK ENVIRONMENT.” 2007. Web. 29 Nov 2020.

Vancouver:

RIBEIRO NR. [en] LANBRET-DMS - VOICE AND DATA INTEGRATED MESSAGE SYSTEM FOR LOCAL AREA NETWORK ENVIRONMENT. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2007. [cited 2020 Nov 29]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10272.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

RIBEIRO NR. [en] LANBRET-DMS - VOICE AND DATA INTEGRATED MESSAGE SYSTEM FOR LOCAL AREA NETWORK ENVIRONMENT. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2007. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=10272

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of South Australia

15. Janczura, Chris W. Modelling and analysis of railway network control logic using coloured petri nets.

Degree: PhD, 1998, University of South Australia

Subjects/Keywords: Petri nets.; Railroads

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Janczura, C. W. (1998). Modelling and analysis of railway network control logic using coloured petri nets. (Doctoral Dissertation). University of South Australia. Retrieved from http://arrow.unisa.edu.au:8081/1959.8/84060 ; http://arrow.unisa.edu.au/vital/access/manager/Repository/unisa:42714

Chicago Manual of Style (16th Edition):

Janczura, Chris W. “Modelling and analysis of railway network control logic using coloured petri nets.” 1998. Doctoral Dissertation, University of South Australia. Accessed November 29, 2020. http://arrow.unisa.edu.au:8081/1959.8/84060 ; http://arrow.unisa.edu.au/vital/access/manager/Repository/unisa:42714.

MLA Handbook (7th Edition):

Janczura, Chris W. “Modelling and analysis of railway network control logic using coloured petri nets.” 1998. Web. 29 Nov 2020.

Vancouver:

Janczura CW. Modelling and analysis of railway network control logic using coloured petri nets. [Internet] [Doctoral dissertation]. University of South Australia; 1998. [cited 2020 Nov 29]. Available from: http://arrow.unisa.edu.au:8081/1959.8/84060 ; http://arrow.unisa.edu.au/vital/access/manager/Repository/unisa:42714.

Council of Science Editors:

Janczura CW. Modelling and analysis of railway network control logic using coloured petri nets. [Doctoral Dissertation]. University of South Australia; 1998. Available from: http://arrow.unisa.edu.au:8081/1959.8/84060 ; http://arrow.unisa.edu.au/vital/access/manager/Repository/unisa:42714

16. Κυρίτσης, Χαρίλαος. Ασαφή δίκτυα Petri.

Degree: 2008, University of Patras

Η εργασία ασχολείται με τα Ασαφή Δίκτυα Petri. Αφού γίνει μιά ιστορική αναδρομή στα Δίκτυα Petri, στη συνέχεια αναπτύσονται τα διάφορα είδη δικτύων Petri καθώς… (more)

Subjects/Keywords: Ασαφή δίκτυα Petri; 511.3; Fuzzy nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Κυρίτσης, . (2008). Ασαφή δίκτυα Petri. (Masters Thesis). University of Patras. Retrieved from http://nemertes.lis.upatras.gr/jspui/handle/10889/1509

Chicago Manual of Style (16th Edition):

Κυρίτσης, Χαρίλαος. “Ασαφή δίκτυα Petri.” 2008. Masters Thesis, University of Patras. Accessed November 29, 2020. http://nemertes.lis.upatras.gr/jspui/handle/10889/1509.

MLA Handbook (7th Edition):

Κυρίτσης, Χαρίλαος. “Ασαφή δίκτυα Petri.” 2008. Web. 29 Nov 2020.

Vancouver:

Κυρίτσης . Ασαφή δίκτυα Petri. [Internet] [Masters thesis]. University of Patras; 2008. [cited 2020 Nov 29]. Available from: http://nemertes.lis.upatras.gr/jspui/handle/10889/1509.

Council of Science Editors:

Κυρίτσης . Ασαφή δίκτυα Petri. [Masters Thesis]. University of Patras; 2008. Available from: http://nemertes.lis.upatras.gr/jspui/handle/10889/1509


IUPUI

17. Saini, Amit K. Emission control in rotary kiln limestone calcination using Petri net models.

Degree: 2016, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

The idea of emission control is not new. Different industries have been putting in a lot of effort to limit… (more)

Subjects/Keywords: PETRI NETS; EMISSION CONTROL; NEURAL NETWORKS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Saini, A. K. (2016). Emission control in rotary kiln limestone calcination using Petri net models. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/11000

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Saini, Amit K. “Emission control in rotary kiln limestone calcination using Petri net models.” 2016. Thesis, IUPUI. Accessed November 29, 2020. http://hdl.handle.net/1805/11000.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Saini, Amit K. “Emission control in rotary kiln limestone calcination using Petri net models.” 2016. Web. 29 Nov 2020.

Vancouver:

Saini AK. Emission control in rotary kiln limestone calcination using Petri net models. [Internet] [Thesis]. IUPUI; 2016. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/1805/11000.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Saini AK. Emission control in rotary kiln limestone calcination using Petri net models. [Thesis]. IUPUI; 2016. Available from: http://hdl.handle.net/1805/11000

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Otago

18. Ebadi, Toktam. Facilitating Cooperation in Multi-agent Robotic Systems .

Degree: 2012, University of Otago

 This thesis presents a new framework for developing, coordinating, and managing a system of situated agents for operation in distributed spatial environments. The framework was… (more)

Subjects/Keywords: multi-agent systems; Coloured Petri Nets; robotics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ebadi, T. (2012). Facilitating Cooperation in Multi-agent Robotic Systems . (Doctoral Dissertation). University of Otago. Retrieved from http://hdl.handle.net/10523/2163

Chicago Manual of Style (16th Edition):

Ebadi, Toktam. “Facilitating Cooperation in Multi-agent Robotic Systems .” 2012. Doctoral Dissertation, University of Otago. Accessed November 29, 2020. http://hdl.handle.net/10523/2163.

MLA Handbook (7th Edition):

Ebadi, Toktam. “Facilitating Cooperation in Multi-agent Robotic Systems .” 2012. Web. 29 Nov 2020.

Vancouver:

Ebadi T. Facilitating Cooperation in Multi-agent Robotic Systems . [Internet] [Doctoral dissertation]. University of Otago; 2012. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/10523/2163.

Council of Science Editors:

Ebadi T. Facilitating Cooperation in Multi-agent Robotic Systems . [Doctoral Dissertation]. University of Otago; 2012. Available from: http://hdl.handle.net/10523/2163


Delft University of Technology

19. Wang, S. (author). Compliance Checking In Supply Chain Management: An approach to check regulatory compliance of business processes.

Degree: 2013, Delft University of Technology

Companies in the business world have to make their business processes compliant with the governmental regulations, otherwise, they may suffer from the law issues and… (more)

Subjects/Keywords: Regulatory Compliance; Norm Nets; Colored Petri Net

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, S. (. (2013). Compliance Checking In Supply Chain Management: An approach to check regulatory compliance of business processes. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:7640df1c-2313-478e-a096-cbdeea4fef16

Chicago Manual of Style (16th Edition):

Wang, S (author). “Compliance Checking In Supply Chain Management: An approach to check regulatory compliance of business processes.” 2013. Masters Thesis, Delft University of Technology. Accessed November 29, 2020. http://resolver.tudelft.nl/uuid:7640df1c-2313-478e-a096-cbdeea4fef16.

MLA Handbook (7th Edition):

Wang, S (author). “Compliance Checking In Supply Chain Management: An approach to check regulatory compliance of business processes.” 2013. Web. 29 Nov 2020.

Vancouver:

Wang S(. Compliance Checking In Supply Chain Management: An approach to check regulatory compliance of business processes. [Internet] [Masters thesis]. Delft University of Technology; 2013. [cited 2020 Nov 29]. Available from: http://resolver.tudelft.nl/uuid:7640df1c-2313-478e-a096-cbdeea4fef16.

Council of Science Editors:

Wang S(. Compliance Checking In Supply Chain Management: An approach to check regulatory compliance of business processes. [Masters Thesis]. Delft University of Technology; 2013. Available from: http://resolver.tudelft.nl/uuid:7640df1c-2313-478e-a096-cbdeea4fef16


University of Illinois – Urbana-Champaign

20. Somnath, Nisha. On computing a liveness enforcing supervisory policy for a class of general petri nets.

Degree: PhD, Industrial Engineering, 2015, University of Illinois – Urbana-Champaign

 Discrete-Event/Discrete-State (DEDS) Systems are prone to livelocks. Once a system enters a livelocked-state, there is at least one activity of the modeled system that cannot… (more)

Subjects/Keywords: Petri Nets; Supervisory control; Discrete event systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Somnath, N. (2015). On computing a liveness enforcing supervisory policy for a class of general petri nets. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/89010

Chicago Manual of Style (16th Edition):

Somnath, Nisha. “On computing a liveness enforcing supervisory policy for a class of general petri nets.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 29, 2020. http://hdl.handle.net/2142/89010.

MLA Handbook (7th Edition):

Somnath, Nisha. “On computing a liveness enforcing supervisory policy for a class of general petri nets.” 2015. Web. 29 Nov 2020.

Vancouver:

Somnath N. On computing a liveness enforcing supervisory policy for a class of general petri nets. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/2142/89010.

Council of Science Editors:

Somnath N. On computing a liveness enforcing supervisory policy for a class of general petri nets. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/89010


Montana State University

21. Shrihari, L. Performance analysis of multiprocessor systems in a distributed large data set model using generalised stochastic petri nets.

Degree: MS, College of Engineering, 1995, Montana State University

Subjects/Keywords: Multiprocessors.; Petri nets.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shrihari, L. (1995). Performance analysis of multiprocessor systems in a distributed large data set model using generalised stochastic petri nets. (Masters Thesis). Montana State University. Retrieved from https://scholarworks.montana.edu/xmlui/handle/1/7559

Chicago Manual of Style (16th Edition):

Shrihari, L. “Performance analysis of multiprocessor systems in a distributed large data set model using generalised stochastic petri nets.” 1995. Masters Thesis, Montana State University. Accessed November 29, 2020. https://scholarworks.montana.edu/xmlui/handle/1/7559.

MLA Handbook (7th Edition):

Shrihari, L. “Performance analysis of multiprocessor systems in a distributed large data set model using generalised stochastic petri nets.” 1995. Web. 29 Nov 2020.

Vancouver:

Shrihari L. Performance analysis of multiprocessor systems in a distributed large data set model using generalised stochastic petri nets. [Internet] [Masters thesis]. Montana State University; 1995. [cited 2020 Nov 29]. Available from: https://scholarworks.montana.edu/xmlui/handle/1/7559.

Council of Science Editors:

Shrihari L. Performance analysis of multiprocessor systems in a distributed large data set model using generalised stochastic petri nets. [Masters Thesis]. Montana State University; 1995. Available from: https://scholarworks.montana.edu/xmlui/handle/1/7559


IUPUI

22. Eadara, Archana. Modeling, analysis, and simulation of Muzima fingerprint module based on ordinary and time Petri nets.

Degree: 2016, IUPUI

Indiana University-Purdue University Indianapolis (IUPUI)

In the healthcare industry, several modern patient identification and patient matching systems have been introduced. Most of these implement patient… (more)

Subjects/Keywords: Petri Nets; Time Petri Nets; Mathematical Modeling; Muzima Fingerprint Module; OpenMRS; Discrete Event Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Eadara, A. (2016). Modeling, analysis, and simulation of Muzima fingerprint module based on ordinary and time Petri nets. (Thesis). IUPUI. Retrieved from http://hdl.handle.net/1805/10800

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Eadara, Archana. “Modeling, analysis, and simulation of Muzima fingerprint module based on ordinary and time Petri nets.” 2016. Thesis, IUPUI. Accessed November 29, 2020. http://hdl.handle.net/1805/10800.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Eadara, Archana. “Modeling, analysis, and simulation of Muzima fingerprint module based on ordinary and time Petri nets.” 2016. Web. 29 Nov 2020.

Vancouver:

Eadara A. Modeling, analysis, and simulation of Muzima fingerprint module based on ordinary and time Petri nets. [Internet] [Thesis]. IUPUI; 2016. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/1805/10800.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Eadara A. Modeling, analysis, and simulation of Muzima fingerprint module based on ordinary and time Petri nets. [Thesis]. IUPUI; 2016. Available from: http://hdl.handle.net/1805/10800

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

23. Oliveira, Claiton de. Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença.

Degree: Mestrado, Manufatura, 2008, University of São Paulo

A telepresença, como um refinamento da teleoperação, permite que o indivíduo controle não apenas a simulação mas a própria realidade. Uma vez que, esta proporciona… (more)

Subjects/Keywords: Ambientes virtuais; Petri nets; Redes de Petri; Telepresença; Telepresence; Virtual environments

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oliveira, C. d. (2008). Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/18/18145/tde-17012011-142830/ ;

Chicago Manual of Style (16th Edition):

Oliveira, Claiton de. “Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença.” 2008. Masters Thesis, University of São Paulo. Accessed November 29, 2020. http://www.teses.usp.br/teses/disponiveis/18/18145/tde-17012011-142830/ ;.

MLA Handbook (7th Edition):

Oliveira, Claiton de. “Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença.” 2008. Web. 29 Nov 2020.

Vancouver:

Oliveira Cd. Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença. [Internet] [Masters thesis]. University of São Paulo; 2008. [cited 2020 Nov 29]. Available from: http://www.teses.usp.br/teses/disponiveis/18/18145/tde-17012011-142830/ ;.

Council of Science Editors:

Oliveira Cd. Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença. [Masters Thesis]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/18/18145/tde-17012011-142830/ ;


Kaunas University of Technology

24. Kaškelevičius, Darius. Mobiliosios informavimo sistemos tyrimas.

Degree: Master, Informatics, 2005, Kaunas University of Technology

 This work is dedicated to the making and research of mobile information system. Following tasks were completed in order to tackle this problem: mobile information… (more)

Subjects/Keywords: UML; Petri tinklai; Petri nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kaškelevičius, Darius. (2005). Mobiliosios informavimo sistemos tyrimas. (Masters Thesis). Kaunas University of Technology. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2005~D_20050524_192136-66688 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Kaškelevičius, Darius. “Mobiliosios informavimo sistemos tyrimas.” 2005. Masters Thesis, Kaunas University of Technology. Accessed November 29, 2020. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2005~D_20050524_192136-66688 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Kaškelevičius, Darius. “Mobiliosios informavimo sistemos tyrimas.” 2005. Web. 29 Nov 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Kaškelevičius, Darius. Mobiliosios informavimo sistemos tyrimas. [Internet] [Masters thesis]. Kaunas University of Technology; 2005. [cited 2020 Nov 29]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2005~D_20050524_192136-66688 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Kaškelevičius, Darius. Mobiliosios informavimo sistemos tyrimas. [Masters Thesis]. Kaunas University of Technology; 2005. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2005~D_20050524_192136-66688 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

25. Ponce de León, Hernan. Testing concurrent systems through event structures : Test de systèmes concurrents à l'aide de structures d'événements.

Degree: Docteur es, Informatique, 2014, Cachan, Ecole normale supérieure

Les systèmes logiciels complexes sont omniprésents dans notre vie quotidienne. De ce fait, un dysfonctionnement peut occasionner aussi bien une simple gêne qu'un danger mettant… (more)

Subjects/Keywords: Concurrence; Réseaux de Petri; Test de conformité; Concurrence; Petri nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ponce de León, H. (2014). Testing concurrent systems through event structures : Test de systèmes concurrents à l'aide de structures d'événements. (Doctoral Dissertation). Cachan, Ecole normale supérieure. Retrieved from http://www.theses.fr/2014DENS0035

Chicago Manual of Style (16th Edition):

Ponce de León, Hernan. “Testing concurrent systems through event structures : Test de systèmes concurrents à l'aide de structures d'événements.” 2014. Doctoral Dissertation, Cachan, Ecole normale supérieure. Accessed November 29, 2020. http://www.theses.fr/2014DENS0035.

MLA Handbook (7th Edition):

Ponce de León, Hernan. “Testing concurrent systems through event structures : Test de systèmes concurrents à l'aide de structures d'événements.” 2014. Web. 29 Nov 2020.

Vancouver:

Ponce de León H. Testing concurrent systems through event structures : Test de systèmes concurrents à l'aide de structures d'événements. [Internet] [Doctoral dissertation]. Cachan, Ecole normale supérieure; 2014. [cited 2020 Nov 29]. Available from: http://www.theses.fr/2014DENS0035.

Council of Science Editors:

Ponce de León H. Testing concurrent systems through event structures : Test de systèmes concurrents à l'aide de structures d'événements. [Doctoral Dissertation]. Cachan, Ecole normale supérieure; 2014. Available from: http://www.theses.fr/2014DENS0035


Vytautas Magnus University

26. Krupenkovaitė, Rasa. Verslo procesų projektavimo būdų analizė kuriant informacines sistemas.

Degree: Master, Informatics, 2008, Vytautas Magnus University

Siekiant maksimizuoti organizacijos pelną ir pagerinti jos veiklos rezultatus reikia efektyviai išnaudoti visus organizacijoje vykstančius verslo procesus. Tai padaryti galima naudojant įvairias verslo procesų valdymui… (more)

Subjects/Keywords: Verslo procesai; UML; Petri tinklai; UML; Petri nets; Business processes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Krupenkovaitė, Rasa. (2008). Verslo procesų projektavimo būdų analizė kuriant informacines sistemas. (Masters Thesis). Vytautas Magnus University. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2008~D_20080619_111150-55826 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Krupenkovaitė, Rasa. “Verslo procesų projektavimo būdų analizė kuriant informacines sistemas.” 2008. Masters Thesis, Vytautas Magnus University. Accessed November 29, 2020. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2008~D_20080619_111150-55826 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Krupenkovaitė, Rasa. “Verslo procesų projektavimo būdų analizė kuriant informacines sistemas.” 2008. Web. 29 Nov 2020.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Krupenkovaitė, Rasa. Verslo procesų projektavimo būdų analizė kuriant informacines sistemas. [Internet] [Masters thesis]. Vytautas Magnus University; 2008. [cited 2020 Nov 29]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2008~D_20080619_111150-55826 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Krupenkovaitė, Rasa. Verslo procesų projektavimo būdų analizė kuriant informacines sistemas. [Masters Thesis]. Vytautas Magnus University; 2008. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2008~D_20080619_111150-55826 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


Queens University

27. Whittaker, Sarah-Jane. Augmenting Petri Nets to Model Health-Care Protocols .

Degree: Computing, 2011, Queens University

 An outbreak of an infectious illness can have a devastating impact on a population. Once confirmed, local health care organizations will attempt to reduce the… (more)

Subjects/Keywords: Petri Nets ; Emergency Protocols ; Choice-Point Nets ; Health-Care Modelling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Whittaker, S. (2011). Augmenting Petri Nets to Model Health-Care Protocols . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/6776

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Whittaker, Sarah-Jane. “Augmenting Petri Nets to Model Health-Care Protocols .” 2011. Thesis, Queens University. Accessed November 29, 2020. http://hdl.handle.net/1974/6776.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Whittaker, Sarah-Jane. “Augmenting Petri Nets to Model Health-Care Protocols .” 2011. Web. 29 Nov 2020.

Vancouver:

Whittaker S. Augmenting Petri Nets to Model Health-Care Protocols . [Internet] [Thesis]. Queens University; 2011. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/1974/6776.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Whittaker S. Augmenting Petri Nets to Model Health-Care Protocols . [Thesis]. Queens University; 2011. Available from: http://hdl.handle.net/1974/6776

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

28. Lapšanský, Tomáš. Virtuální stroj Petriho sítí: Petri Nets Virtual Machine.

Degree: 2020, Brno University of Technology

 This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using… (more)

Subjects/Keywords: Petriho síte; Objektovo orientované Petriho síte; Virtuální stroj; Prekladač; PNTalk.; Petri Nets; Object Oriented Petri Nets; Virtual Machine; Compilator; PNTalk.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lapšanský, T. (2020). Virtuální stroj Petriho sítí: Petri Nets Virtual Machine. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/190086

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lapšanský, Tomáš. “Virtuální stroj Petriho sítí: Petri Nets Virtual Machine.” 2020. Thesis, Brno University of Technology. Accessed November 29, 2020. http://hdl.handle.net/11012/190086.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lapšanský, Tomáš. “Virtuální stroj Petriho sítí: Petri Nets Virtual Machine.” 2020. Web. 29 Nov 2020.

Vancouver:

Lapšanský T. Virtuální stroj Petriho sítí: Petri Nets Virtual Machine. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/11012/190086.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lapšanský T. Virtuální stroj Petriho sítí: Petri Nets Virtual Machine. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/190086

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

29. Navrátil, Ondřej. Výukový nástroj pro barvené Petriho sítě: Educational Tool for Coloured Petri Nets.

Degree: 2020, Brno University of Technology

 Coloured Petri nets (CPN) are an extension of a standard place-transition Petri nets (P/T PN). Every token and place have its type (and eventually a… (more)

Subjects/Keywords: Petriho sítě; barvené Petriho sítě; CPNTools; Qt; Flex; Bison; Petri nets; coloured Petri nets; CPNTools; Qt; Flex; Bison

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Navrátil, O. (2020). Výukový nástroj pro barvené Petriho sítě: Educational Tool for Coloured Petri Nets. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/190134

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Navrátil, Ondřej. “Výukový nástroj pro barvené Petriho sítě: Educational Tool for Coloured Petri Nets.” 2020. Thesis, Brno University of Technology. Accessed November 29, 2020. http://hdl.handle.net/11012/190134.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Navrátil, Ondřej. “Výukový nástroj pro barvené Petriho sítě: Educational Tool for Coloured Petri Nets.” 2020. Web. 29 Nov 2020.

Vancouver:

Navrátil O. Výukový nástroj pro barvené Petriho sítě: Educational Tool for Coloured Petri Nets. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/11012/190134.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Navrátil O. Výukový nástroj pro barvené Petriho sítě: Educational Tool for Coloured Petri Nets. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/190134

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

30. Sitarčík, Ľuboš. Virtuální stroj pro Objektově orientované Petriho sítě: Object Oriented Petri Nets Virtual Machine.

Degree: 2019, Brno University of Technology

 This diploma thesis formally defines the Object Oriented Petri Nets and presents term a virtual machine. Then it introduces the concept of Object Oriented Petri(more)

Subjects/Keywords: Petriho síte; Objektovo orientované Petriho síte; Virtuální stroj; PNTalk.; Petri Nets; Object Oriented Petri Nets; Virtual Machine; PNTalk.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sitarčík, . (2019). Virtuální stroj pro Objektově orientované Petriho sítě: Object Oriented Petri Nets Virtual Machine. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/52253

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sitarčík, Ľuboš. “Virtuální stroj pro Objektově orientované Petriho sítě: Object Oriented Petri Nets Virtual Machine.” 2019. Thesis, Brno University of Technology. Accessed November 29, 2020. http://hdl.handle.net/11012/52253.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sitarčík, Ľuboš. “Virtuální stroj pro Objektově orientované Petriho sítě: Object Oriented Petri Nets Virtual Machine.” 2019. Web. 29 Nov 2020.

Vancouver:

Sitarčík . Virtuální stroj pro Objektově orientované Petriho sítě: Object Oriented Petri Nets Virtual Machine. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Nov 29]. Available from: http://hdl.handle.net/11012/52253.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sitarčík . Virtuální stroj pro Objektově orientované Petriho sítě: Object Oriented Petri Nets Virtual Machine. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/52253

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4] [5] … [1212]

.