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

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

Search Limiters

Last 2 Years | English Only

Degrees

Languages

Country

▼ Search Limiters

1. Fronc, Lukasz. Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries.

Degree: Docteur es, Informatique, 2013, Evry-Val d'Essonne

Cette thèse s'intéresse à la vérification de systèmes automatisables par model-checking. La question sous-jacente autour de laquelle se construit la contribution est la recherche d'un… (more)

Subjects/Keywords: Model-checking; Model-checking; High-level Petri nets; Compilation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fronc, L. (2013). Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries. (Doctoral Dissertation). Evry-Val d'Essonne. Retrieved from http://www.theses.fr/2013EVRY0034

Chicago Manual of Style (16th Edition):

Fronc, Lukasz. “Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries.” 2013. Doctoral Dissertation, Evry-Val d'Essonne. Accessed January 28, 2020. http://www.theses.fr/2013EVRY0034.

MLA Handbook (7th Edition):

Fronc, Lukasz. “Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries.” 2013. Web. 28 Jan 2020.

Vancouver:

Fronc L. Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries. [Internet] [Doctoral dissertation]. Evry-Val d'Essonne; 2013. [cited 2020 Jan 28]. Available from: http://www.theses.fr/2013EVRY0034.

Council of Science Editors:

Fronc L. Compilation de réseaux de Petri : modèles haut niveau et symétries de processus : Compilation of Petri nets : high-level models and process symmetries. [Doctoral Dissertation]. Evry-Val d'Essonne; 2013. Available from: http://www.theses.fr/2013EVRY0034


Brno University of Technology

2. Minář, Michal. Interpret Petriho sítí pro řídicí systémy s procesorem Atmel .

Degree: 2013, Brno University of Technology

 Práce se zabývá interpretací vnořených petriho sítí popsaných jazykem PNML na procesorech Atmel. Zahrnuje popis cílové architektury, jež je značně omezená, jak co se týčeoperační… (more)

Subjects/Keywords: Vysokoúrovňové Petriho síťě; referencované síťě; interpretace; Squeak; věstavěné systémy; Arduino; High-level Petri nets; reference nets; interpretation; Squeak; embedded systems; Arduino

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Minář, M. (2013). Interpret Petriho sítí pro řídicí systémy s procesorem Atmel . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/53524

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

Minář, Michal. “Interpret Petriho sítí pro řídicí systémy s procesorem Atmel .” 2013. Thesis, Brno University of Technology. Accessed January 28, 2020. http://hdl.handle.net/11012/53524.

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

MLA Handbook (7th Edition):

Minář, Michal. “Interpret Petriho sítí pro řídicí systémy s procesorem Atmel .” 2013. Web. 28 Jan 2020.

Vancouver:

Minář M. Interpret Petriho sítí pro řídicí systémy s procesorem Atmel . [Internet] [Thesis]. Brno University of Technology; 2013. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/11012/53524.

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

Council of Science Editors:

Minář M. Interpret Petriho sítí pro řídicí systémy s procesorem Atmel . [Thesis]. Brno University of Technology; 2013. Available from: http://hdl.handle.net/11012/53524

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


University of Illinois – Urbana-Champaign

3. 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 28, 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. 28 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 28]. 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

4. Masri, Aladdin. Vers le contrôle commande distribué des systèmes de production manufacturiers : approche composant pour la prise en compte de l’architecture de communication dans la modélisation : Towards the distribution control of manufacturing systems : a component-based approach for taking into account the communication architecture in modeling.

Degree: Docteur es, Automatique et informatique industrielle, 2009, Ecole centrale de Lille

Les systèmes de production manufacturiers sont une classe des systèmes à événements discrets. Leur taille nécessite de distribuer le logiciel de contrôle sur une architecture… (more)

Subjects/Keywords: Réseaux de communication; Systèmes distribués; Protocoles; Systèmes de production manufacturés; Modélisations par composants; Communication networks; Distributed systems; Protocols; Manufacturing systems; High-level Petri nets; Modélisations par composants

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Masri, A. (2009). Vers le contrôle commande distribué des systèmes de production manufacturiers : approche composant pour la prise en compte de l’architecture de communication dans la modélisation : Towards the distribution control of manufacturing systems : a component-based approach for taking into account the communication architecture in modeling. (Doctoral Dissertation). Ecole centrale de Lille. Retrieved from http://www.theses.fr/2009ECLI0012

Chicago Manual of Style (16th Edition):

Masri, Aladdin. “Vers le contrôle commande distribué des systèmes de production manufacturiers : approche composant pour la prise en compte de l’architecture de communication dans la modélisation : Towards the distribution control of manufacturing systems : a component-based approach for taking into account the communication architecture in modeling.” 2009. Doctoral Dissertation, Ecole centrale de Lille. Accessed January 28, 2020. http://www.theses.fr/2009ECLI0012.

MLA Handbook (7th Edition):

Masri, Aladdin. “Vers le contrôle commande distribué des systèmes de production manufacturiers : approche composant pour la prise en compte de l’architecture de communication dans la modélisation : Towards the distribution control of manufacturing systems : a component-based approach for taking into account the communication architecture in modeling.” 2009. Web. 28 Jan 2020.

Vancouver:

Masri A. Vers le contrôle commande distribué des systèmes de production manufacturiers : approche composant pour la prise en compte de l’architecture de communication dans la modélisation : Towards the distribution control of manufacturing systems : a component-based approach for taking into account the communication architecture in modeling. [Internet] [Doctoral dissertation]. Ecole centrale de Lille; 2009. [cited 2020 Jan 28]. Available from: http://www.theses.fr/2009ECLI0012.

Council of Science Editors:

Masri A. Vers le contrôle commande distribué des systèmes de production manufacturiers : approche composant pour la prise en compte de l’architecture de communication dans la modélisation : Towards the distribution control of manufacturing systems : a component-based approach for taking into account the communication architecture in modeling. [Doctoral Dissertation]. Ecole centrale de Lille; 2009. Available from: http://www.theses.fr/2009ECLI0012


University of Bradford

5. Alhroob, Aysh Menoer. Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases.

Degree: 2010, University of Bradford

 The main part in the testing of the software is in the generation of test cases suitable for software system testing. The quality of the… (more)

Subjects/Keywords: 005.3; Software test cases; System models; Specifications; UML diagrams; High Level Petri Nets models; Software engineering; Software testing; Test data; Model transformation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alhroob, A. M. (2010). Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases. (Doctoral Dissertation). University of Bradford. Retrieved from http://hdl.handle.net/10454/5453

Chicago Manual of Style (16th Edition):

Alhroob, Aysh Menoer. “Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases.” 2010. Doctoral Dissertation, University of Bradford. Accessed January 28, 2020. http://hdl.handle.net/10454/5453.

MLA Handbook (7th Edition):

Alhroob, Aysh Menoer. “Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases.” 2010. Web. 28 Jan 2020.

Vancouver:

Alhroob AM. Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases. [Internet] [Doctoral dissertation]. University of Bradford; 2010. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/10454/5453.

Council of Science Editors:

Alhroob AM. Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases. [Doctoral Dissertation]. University of Bradford; 2010. Available from: http://hdl.handle.net/10454/5453


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

Vancouver:

Thacker RA. New verification method for embedded systems. [Internet] [Doctoral dissertation]. University of Utah; 2010. [cited 2020 Jan 28]. 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 January 28, 2020. https://era.library.ualberta.ca/files/n583xx41q.

MLA Handbook (7th Edition):

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

Vancouver:

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

Vancouver:

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

Vancouver:

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

10. 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 28, 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. 28 Jan 2020.

Vancouver:

Muddada RRMR. Towards resilient supply chain networks. [Internet] [Thesis]. University of Saskatchewan; 2010. [cited 2020 Jan 28]. 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

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

Vancouver:

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

13. 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 28, 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. 28 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 28]. 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

14. 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 28, 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. 28 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 28]. 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

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

MLA Handbook (7th Edition):

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

Vancouver:

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

16. 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 28, 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. 28 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 28]. 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

17. 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 28, 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. 28 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 28]. 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

18. 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 28, 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. 28 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 28]. 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

19. 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 28, 2020. http://hdl.handle.net/10523/2163.

MLA Handbook (7th Edition):

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

Vancouver:

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

20. 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 28, 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. 28 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 28]. 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

21. 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 28, 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. 28 Jan 2020.

Vancouver:

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

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 January 28, 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. 28 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 28]. 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 January 28, 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. 28 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 28]. 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 January 28, 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. 28 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 28]. 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 January 28, 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. 28 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 28]. 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 January 28, 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. 28 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 28]. 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


Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

27. Ανανίδου, Δήμητρα. Μοντελοποίηση και ανάλυση συστημάτων πραγματικού χρόνου με υψηλού επιπέδου χρονοδίκτυα Petri.

Degree: 1999, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ)

Subjects/Keywords: Συστήματα πραγματικού χρόνου; Μοντελοποίηση; Ανάλυση; Υψηλού επιπέδου χρονοδίκτυα Petri; Χρωματικά δίκτυα Petri; Εργαλεία μοντελοποίησης συστημάτων; Εργαλεία δικτύων Petri; Δίκτυα-πλαίσια ανάλυσης συστημάτων; Δένδρο προσεγγισιμότητας; Χώρος καταστάσεων; Real time systems; Modeling; Analysis; High level timed Petri nets; Colored Petri nets; Tools for modeling of systems; Petri net tools; Templates for system analysis; Reachability tree; State space

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ανανίδου, . . (1999). Μοντελοποίηση και ανάλυση συστημάτων πραγματικού χρόνου με υψηλού επιπέδου χρονοδίκτυα Petri. (Thesis). Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Retrieved from http://hdl.handle.net/10442/hedi/24724

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

Ανανίδου, Δήμητρα. “Μοντελοποίηση και ανάλυση συστημάτων πραγματικού χρόνου με υψηλού επιπέδου χρονοδίκτυα Petri.” 1999. Thesis, Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Accessed January 28, 2020. http://hdl.handle.net/10442/hedi/24724.

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

MLA Handbook (7th Edition):

Ανανίδου, Δήμητρα. “Μοντελοποίηση και ανάλυση συστημάτων πραγματικού χρόνου με υψηλού επιπέδου χρονοδίκτυα Petri.” 1999. Web. 28 Jan 2020.

Vancouver:

Ανανίδου . Μοντελοποίηση και ανάλυση συστημάτων πραγματικού χρόνου με υψηλού επιπέδου χρονοδίκτυα Petri. [Internet] [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 1999. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/10442/hedi/24724.

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

Council of Science Editors:

Ανανίδου . Μοντελοποίηση και ανάλυση συστημάτων πραγματικού χρόνου με υψηλού επιπέδου χρονοδίκτυα Petri. [Thesis]. Aristotle University Of Thessaloniki (AUTH); Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ); 1999. Available from: http://hdl.handle.net/10442/hedi/24724

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


Queens University

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

Vancouver:

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

29. 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 28, 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. 28 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 28]. 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

30. Kolařík, Jan. Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru .

Degree: 2013, Brno University of Technology

 Práce se zabývá návrhem a samotnou implementací klient-server aplikace pro vzdálený přístup k modelům systémů uloženým na serveru. Aplikace umožňuje tyto modely také editovat a… (more)

Subjects/Keywords: DEVS; Simulace; Qt; C++; Vysokoúrovňové Petriho sítě; Smalltalk; DEVS; Simulation; Qt; C++; High-Level Petri's nets; Smalltalk

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kolařík, J. (2013). Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/53531

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

Kolařík, Jan. “Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru .” 2013. Thesis, Brno University of Technology. Accessed January 28, 2020. http://hdl.handle.net/11012/53531.

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

MLA Handbook (7th Edition):

Kolařík, Jan. “Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru .” 2013. Web. 28 Jan 2020.

Vancouver:

Kolařík J. Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru . [Internet] [Thesis]. Brno University of Technology; 2013. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/11012/53531.

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

Council of Science Editors:

Kolařík J. Aplikace pro vzdálenou editaci DEVS modelů a řízení simulace na simulačním serveru . [Thesis]. Brno University of Technology; 2013. Available from: http://hdl.handle.net/11012/53531

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

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

.