Relevant bibliographies by topics / Petri nets Computer simulation / Books

Books on the topic 'Petri nets Computer simulation'

To see the other types of publications on this topic, follow the link: Petri nets Computer simulation.
Author: Grafiati
Published: 10 December 2022
Last updated: 29 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Petri nets Computer simulation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Susanna, Donatelli, Kleijn Jetty, and SpringerLink (Online service), eds. Transactions on Petri Nets and Other Models of Concurrency V. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Jensen, K. Transactions on petri nets and other models of concurrency III. Berlin: Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jensen, K. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. 2nd ed. Berlin: Springer, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jensen, Kurt. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jensen, K. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. 2nd ed. Berlin: Springer, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jensen, Kurt. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Jensen, Kurt. Coloured Petri Nets, Vol. 3: Basic Concepts, Analysis Methods and Practical Use. Berlin: Springer, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jensen, K. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. Berlin: Springer-Verlag, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Jensen, Kurt. Coloured Petri Nets, Vol. 3: Basic Concepts, Analysis Methods and Practical Use. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Nicol, David. [Parallelizing timed petri net simulations]: Final report, NASA grant NAG-1-1060. Washington, DC: National Aeronautics and Space Administration, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
11

Nicol, David M. [Parallelizing timed petri net simulations]: Final report, NASA grant NAG-1-1060. Washington, DC: National Aeronautics and Space Administration, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

Schweizer, W. Entwicklung eines interaktiven Simulators auf der Basis von Petri-Netzen zur Modellierung und Bewertung hybrider Montagestrukturen. Berlin: Springer, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

Stochastic Petri nets: Modelling, stability, simulation. New York: Springer, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
14

Petri Nets: An Introduction. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

Nicol, David M. Automated parallelization of timed petri-net simulations. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

Generalized nets. Singapore: World Scientific, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
17

Pawlewski, Pawel. Petri nets - manufacturing and computer science. Rijeka: InTech, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
18

Yakovlev, Alex. Hardware Design and Petri Nets. Boston, MA: Springer US, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
19

Schmidt, Christian. Organisationsplanung mit Petri-Netzen: Ein integrativ-methodisches Konzept zur Simulation von Organisationsstrukturen. Frankfurt am Main: Haag + Herchen, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
20

Luís, Gomes, Lavagno Luciano 1959-, and Yakovlev Alex, eds. Hardware design and petri nets. Boston: Kluwer Academic, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

Zhou, MengChu. Petri Nets in Flexible and Agile Automation. Boston, MA: Springer US, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
22

Grecco, Albert J. AdaFlow: The automation of software analysis using Petri Nets. Monterey, California: Naval Postgraduate School, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

Lucia, Pomello, and SpringerLink (Online service), eds. Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
24

Hee, Kees Max van, 1946- and Valk R, eds. Applications and theory of Petri nets: 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings. Berlin: Springer, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
25

Johan, Lilius, and Penczek Wojciech, eds. Applications and theory of Petri nets: 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010 ; proceedings. Berlin: Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
26

Kristensen, Lars M. Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

Reisig, Wolfgang. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
28

Colom, José-Manuel. Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
29

Raymond, Devillers, and Koutny Maciej 1958-, eds. Petri net algebra. Berlin: Springer, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
30

Jensen, Kurt. Transactions on Petri Nets and Other Models of Concurrency VI. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

Yoeli, Michael. Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Hoboken, N.J: John Wiley & Sons, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

Lundstrom, Stephen F. Design of testbed and emulation tools. Stanford, CA: Computer Systems Laboratory, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
33

Vasilʹev, V. V. Seti Petri, parallelʹnye algoritmy i modeli mulʹtiprot͡s︡essornykh sistem. Kiev: Nauk. dumka, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
34

Elements of distributed algorithms: Modeling and analysis with Petri nets. Berlin: Springer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
35

Smith, Einar. Carl Adam Petri: Eine Biographie. Berlin: Springer Vieweg, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
36

Best, Eike. Petri Net Algebra. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
38

Mota, Miguel Mujica, Idalia Flores De La Mota, Antoni Guasch, and Miquel Angel Piera. Robust Modelling and Simulation: Integration of SIMIO with Coloured Petri Nets. Springer, 2017.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

Mota, Miguel Mujica, Idalia Flores De La Mota, Antoni Guasch, and Miquel Angel Piera. Robust Modelling and Simulation: Integration of SIMIO with Coloured Petri Nets. Springer International Publishing AG, 2018.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

Koutny, Maciej, Kurt Jensen, and Susanna Donatelli. Transactions on Petri Nets and Other Models of Concurrency IV. Springer, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
41

Koutny, Maciej, Kurt Jensen, and Susanna Donatelli. Transactions on Petri Nets and Other Models of Concurrency IV. Springer, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

Transactions On Petri Nets And Other Models Of Concurrency Iv. Springer, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
43

Transactions On Petri Nets And Other Models Of Concurrency. Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
44

Center, Langley Research, ed. Simulator for heterogeneous dataflow architectures. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

Jensen, Kurt. Coloured Petri Nets, Vol. 2: Basic Concepts, Analysis Methods and Practical Use. Springer, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
46

W, Stoughton John, Mielke Roland R, and Langley Research Center, eds. Simulator for concurrent processing data flow architectures. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

Jensen, Kurt. Coloured Petri Nets, Vol. 1: Basic Concepts, Analysis Methods and Practical Use. 2nd ed. Springer, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

ATAMM enhancement and multiprocessor performance evaluation: Final report for the period ended March 31, 1994. Norfolk, Va: Old Dominion University Research Foundation, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
49

Haas, Peter J. Stochastic Petri Nets: Modelling, Stability, Simulation. Springer New York, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

Cindio, Fiorella De, Gul A. Agha, and Grzegorz Rozenberg. Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets. Springer London, Limited, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Petri nets Computer simulation' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography