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:(Petri Nets). Showing records 1 – 30 of 342 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. 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 January 17, 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. 17 Jan 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 Jan 17]. 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


University of Utah

2. 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 January 17, 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. 17 Jan 2020.

Vancouver:

Thacker RA. New verification method for embedded systems. [Internet] [Doctoral dissertation]. University of Utah; 2010. [cited 2020 Jan 17]. 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

3. 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 January 17, 2020. https://era.library.ualberta.ca/files/n583xx41q.

MLA Handbook (7th Edition):

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

Vancouver:

Wong K. Distributed simulation of performance Petri nets. [Internet] [Masters thesis]. University of Alberta; 1988. [cited 2020 Jan 17]. 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

4. 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 January 17, 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. 17 Jan 2020.

Vancouver:

Amaldev M. Counter automata and classical logics for data words; -. [Internet] [Thesis]. INFLIBNET; 2011. [cited 2020 Jan 17]. 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

5. 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 January 17, 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. 17 Jan 2020.

Vancouver:

Praveen M. Parameterized complexity of some problems in concurrency and verification; -. [Internet] [Thesis]. INFLIBNET; 2011. [cited 2020 Jan 17]. 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 Saskatchewan

6. Muddada, Raja Ram Mohan Roy. Towards resilient supply chain networks.

Degree: 2010, University of Saskatchewan

 In the past decade, events like 9/11 terror attacks, the recent financial crisis and other major crisis has proved that there is strong interaction and… (more)

Subjects/Keywords: Petri nets; Supply chain; Resilience

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Muddada, R. R. M. R. (2010). Towards resilient supply chain networks. (Thesis). University of Saskatchewan. Retrieved from http://hdl.handle.net/10388/etd-09142010-032748

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):

Muddada, Raja Ram Mohan Roy. “Towards resilient supply chain networks.” 2010. Thesis, University of Saskatchewan. Accessed January 17, 2020. http://hdl.handle.net/10388/etd-09142010-032748.

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

MLA Handbook (7th Edition):

Muddada, Raja Ram Mohan Roy. “Towards resilient supply chain networks.” 2010. Web. 17 Jan 2020.

Vancouver:

Muddada RRMR. Towards resilient supply chain networks. [Internet] [Thesis]. University of Saskatchewan; 2010. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/10388/etd-09142010-032748.

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

Council of Science Editors:

Muddada RRMR. Towards resilient supply chain networks. [Thesis]. University of Saskatchewan; 2010. Available from: http://hdl.handle.net/10388/etd-09142010-032748

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


Universitat Rovira i Virgili

7. 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 January 17, 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. 17 Jan 2020.

Vancouver:

Turaev S. Petri net controlled grammars. [Internet] [Thesis]. Universitat Rovira i Virgili; 2010. [cited 2020 Jan 17]. 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

8. 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 January 17, 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. 17 Jan 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 Jan 17]. 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


University of Tasmania

9. 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 January 17, 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. 17 Jan 2020.

Vancouver:

Lewis G. Incremental specification and analysis in the context of coloured Petri nets. [Internet] [Thesis]. University of Tasmania; 2002. [cited 2020 Jan 17]. 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


University of South Australia

10. 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 January 17, 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. 17 Jan 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 Jan 17]. 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

11. Κυρίτσης, Χαρίλαος. Ασαφή δίκτυα 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 January 17, 2020. http://nemertes.lis.upatras.gr/jspui/handle/10889/1509.

MLA Handbook (7th Edition):

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

Vancouver:

Κυρίτσης . Ασαφή δίκτυα Petri. [Internet] [Masters thesis]. University of Patras; 2008. [cited 2020 Jan 17]. 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


University of Illinois – Urbana-Champaign

12. 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 January 17, 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. 17 Jan 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 Jan 17]. 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


Universidad Nacional de La Plata

13. Wolfmann, Aaron Gustavo Horacio. PEM - Modelo de Ejecución Paralela basado en redes de Petri.

Degree: 2015, Universidad Nacional de La Plata

El objetivo de la tesis es la definición de un modelo de ejecución paralelo, que basado en la representación de un algoritmo paralelo con Redes… (more)

Subjects/Keywords: Ciencias Informáticas; Petri nets; Algorithms; Parallel programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wolfmann, A. G. H. (2015). PEM - Modelo de Ejecución Paralela basado en redes de Petri. (Thesis). Universidad Nacional de La Plata. Retrieved from http://hdl.handle.net/10915/45069

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):

Wolfmann, Aaron Gustavo Horacio. “PEM - Modelo de Ejecución Paralela basado en redes de Petri.” 2015. Thesis, Universidad Nacional de La Plata. Accessed January 17, 2020. http://hdl.handle.net/10915/45069.

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

MLA Handbook (7th Edition):

Wolfmann, Aaron Gustavo Horacio. “PEM - Modelo de Ejecución Paralela basado en redes de Petri.” 2015. Web. 17 Jan 2020.

Vancouver:

Wolfmann AGH. PEM - Modelo de Ejecución Paralela basado en redes de Petri. [Internet] [Thesis]. Universidad Nacional de La Plata; 2015. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/10915/45069.

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

Council of Science Editors:

Wolfmann AGH. PEM - Modelo de Ejecución Paralela basado en redes de Petri. [Thesis]. Universidad Nacional de La Plata; 2015. Available from: http://hdl.handle.net/10915/45069

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


Montana State University

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

Degree: 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. (Thesis). Montana State University. Retrieved from https://scholarworks.montana.edu/xmlui/handle/1/7559

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):

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

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

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. 17 Jan 2020.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Otago

15. 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 January 17, 2020. http://hdl.handle.net/10523/2163.

MLA Handbook (7th Edition):

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

Vancouver:

Ebadi T. Facilitating Cooperation in Multi-agent Robotic Systems . [Internet] [Doctoral dissertation]. University of Otago; 2012. [cited 2020 Jan 17]. 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

16. Wang, S. 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. “Compliance Checking In Supply Chain Management: An approach to check regulatory compliance of business processes:.” 2013. Masters Thesis, Delft University of Technology. Accessed January 17, 2020. http://resolver.tudelft.nl/uuid:7640df1c-2313-478e-a096-cbdeea4fef16.

MLA Handbook (7th Edition):

Wang, S. “Compliance Checking In Supply Chain Management: An approach to check regulatory compliance of business processes:.” 2013. Web. 17 Jan 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 Jan 17]. 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


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 January 17, 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. 17 Jan 2020.

Vancouver:

Saini AK. Emission control in rotary kiln limestone calcination using Petri net models. [Internet] [Thesis]. IUPUI; 2016. [cited 2020 Jan 17]. 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


IUPUI

18. 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 January 17, 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. 17 Jan 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 Jan 17]. 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

19. 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 January 17, 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. 17 Jan 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 Jan 17]. 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

20. 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 January 17, 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. 17 Jan 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 Jan 17]. 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

21. 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 January 17, 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. 17 Jan 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 Jan 17]. 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

22. 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 January 17, 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. 17 Jan 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 Jan 17]. 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

23. 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 January 17, 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. 17 Jan 2020.

Vancouver:

Whittaker S. Augmenting Petri Nets to Model Health-Care Protocols . [Internet] [Thesis]. Queens University; 2011. [cited 2020 Jan 17]. 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


Pontifical Catholic University of Rio de Janeiro

24. 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 January 17, 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. 17 Jan 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 Jan 17]. 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


Brno University of Technology

25. Sitarčík, Ľuboš. Virtuální stroj pro Objektově orientované Petriho sítě .

Degree: 2015, Brno University of Technology

 Diplomová práce formálne definuje Objektovo orientované Petriho síte a představuje pojem virtuální stroj. Pak práce představuje koncept virtuálního stroje pro Objektovo orientované Petriho síte. Nakonec… (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, . (2015). Virtuální stroj pro Objektově orientované Petriho sítě . (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ě .” 2015. Thesis, Brno University of Technology. Accessed January 17, 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ě .” 2015. Web. 17 Jan 2020.

Vancouver:

Sitarčík . Virtuální stroj pro Objektově orientované Petriho sítě . [Internet] [Thesis]. Brno University of Technology; 2015. [cited 2020 Jan 17]. 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ě . [Thesis]. Brno University of Technology; 2015. 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


Brno University of Technology

26. Navrátil, Ondřej. Výukový nástroj pro barvené Petriho sítě .

Degree: 2013, Brno University of Technology

 Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě… (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. (2013). Výukový nástroj pro barvené Petriho sítě . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/53413

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ě .” 2013. Thesis, Brno University of Technology. Accessed January 17, 2020. http://hdl.handle.net/11012/53413.

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ě .” 2013. Web. 17 Jan 2020.

Vancouver:

Navrátil O. Výukový nástroj pro barvené Petriho sítě . [Internet] [Thesis]. Brno University of Technology; 2013. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/11012/53413.

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ě . [Thesis]. Brno University of Technology; 2013. Available from: http://hdl.handle.net/11012/53413

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


New Jersey Institute of Technology

27. Kalavapalli, Sreeranga. Techniques of petri net reduction.

Degree: MSin Computer Science - (M.S.), Computer and Information Science, 1993, New Jersey Institute of Technology

Petri Nets have the capability to analyze large and complex concurrent systems. However, there is one constraint. The number of reachability states of the… (more)

Subjects/Keywords: Petri Nets; Petri Nets Reduction; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kalavapalli, S. (1993). Techniques of petri net reduction. (Thesis). New Jersey Institute of Technology. Retrieved from https://digitalcommons.njit.edu/theses/1248

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):

Kalavapalli, Sreeranga. “Techniques of petri net reduction.” 1993. Thesis, New Jersey Institute of Technology. Accessed January 17, 2020. https://digitalcommons.njit.edu/theses/1248.

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

MLA Handbook (7th Edition):

Kalavapalli, Sreeranga. “Techniques of petri net reduction.” 1993. Web. 17 Jan 2020.

Vancouver:

Kalavapalli S. Techniques of petri net reduction. [Internet] [Thesis]. New Jersey Institute of Technology; 1993. [cited 2020 Jan 17]. Available from: https://digitalcommons.njit.edu/theses/1248.

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

Council of Science Editors:

Kalavapalli S. Techniques of petri net reduction. [Thesis]. New Jersey Institute of Technology; 1993. Available from: https://digitalcommons.njit.edu/theses/1248

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í .

Degree: 2019, Brno University of Technology

 Bakalárska práca formálne definuje pojem Objektovo orientované Petriho siete. Práca ďalej navrhuje koncept prekladača a virtuálneho stroja pre Objektovo orientované Petriho siete s využitím jazyk… (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. (2019). Virtuální stroj Petriho sítí . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/180132

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í .” 2019. Thesis, Brno University of Technology. Accessed January 17, 2020. http://hdl.handle.net/11012/180132.

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í .” 2019. Web. 17 Jan 2020.

Vancouver:

Lapšanský T. Virtuální stroj Petriho sítí . [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Jan 17]. Available from: http://hdl.handle.net/11012/180132.

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í . [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/180132

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

29. Henrique Jorge Amorim Holanda. AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People.

Degree: PhD, 2012, Universidade Federal do Ceará

Web Services (WS) sÃo pilares para a construÃÃo de aplicaÃÃes orientadas a serviÃos. Uma sÃrie de linguagens para a composiÃÃo de serviÃos web tÃm sido… (more)

Subjects/Keywords: ENGENHARIAS; TeleinformÃtica; Petri, Redes de; Performance; SOA; Web Service; BPel4People; Petri Nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Holanda, H. J. A. (2012). AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People. (Doctoral Dissertation). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=9565 ;

Chicago Manual of Style (16th Edition):

Holanda, Henrique Jorge Amorim. “AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People.” 2012. Doctoral Dissertation, Universidade Federal do Ceará. Accessed January 17, 2020. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=9565 ;.

MLA Handbook (7th Edition):

Holanda, Henrique Jorge Amorim. “AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People.” 2012. Web. 17 Jan 2020.

Vancouver:

Holanda HJA. AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People. [Internet] [Doctoral dissertation]. Universidade Federal do Ceará 2012. [cited 2020 Jan 17]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=9565 ;.

Council of Science Editors:

Holanda HJA. AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People. [Doctoral Dissertation]. Universidade Federal do Ceará 2012. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=9565 ;

30. Klendson Marques Canuto. Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas.

Degree: Master, 2013, Universidade Federal do Ceará

Este trabalho apresenta uma modelagem computacional para a representaÃÃo de planos de recomposiÃÃo fluente automÃtica de sistemas elÃtricos de potÃncia. O modelo utiliza Redes de… (more)

Subjects/Keywords: ENGENHARIA ELETRICA; Energia elÃtrica; Petri, Redes de; Restoration Fluent; Colored Petri Nets; Power Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Canuto, K. M. (2013). Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas. (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10324 ;

Chicago Manual of Style (16th Edition):

Canuto, Klendson Marques. “Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas.” 2013. Masters Thesis, Universidade Federal do Ceará. Accessed January 17, 2020. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10324 ;.

MLA Handbook (7th Edition):

Canuto, Klendson Marques. “Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas.” 2013. Web. 17 Jan 2020.

Vancouver:

Canuto KM. Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas. [Internet] [Masters thesis]. Universidade Federal do Ceará 2013. [cited 2020 Jan 17]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10324 ;.

Council of Science Editors:

Canuto KM. Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas. [Masters Thesis]. Universidade Federal do Ceará 2013. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10324 ;

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

.