Cargando…

Transactions on petri nets and other models of concurrency XII

Detalles Bibliográficos
Autores principales:	Koutny, Maciej, Kleijn, Jetty, Penczek, Wojciech, Zhang, Mingmin
Lenguaje:	eng
Publicado:	Springer 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761646

Ejemplares similares

Transactions on petri nets and other models of concurrency XI
por: Koutny, Maciej, et al.
Publicado: (2016)

Transactions on petri nets and other models of concurrency XIII
por: Koutny, Maciej, et al.
Publicado: (2018)

Transactions on petri nets and other models of concurrency X
por: Koutny, Maciej, et al.
Publicado: (2015)

Transactions on petri nets and other models of concurrency IX
por: Koutny, Maciej, et al.
Publicado: (2014)

Transactions on petri nets and other models of concurrency VI
por: Jensen, Kurt, et al.
Publicado: (2012)

Modeling biological gradient formation: combining partial differential equations and Petri nets
por: Bertens, Laura M. F., et al.
Publicado: (2015)

Modelling and measuring complexity of traditional and ancient technologies using Petri nets
por: Fajardo, Sebastian, et al.
Publicado: (2022)

Application and theory of petri nets and concurrency: 37th international conference, Petri Nets 2016, Toruń, Poland, June 19-24, 2016 proceedings
por: Kordon, Fabrice, et al.
Publicado: (2016)

Application and theory of petri nets and concurrency: 40th international conference, Petri Nets 2019, Aachen, Germany, June 23-28, 2019, proceedings
por: Donatelli, Susanna, et al.
Publicado: (2019)

43rd International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2022)
por: Bernardinello,, et al.
Publicado: (2022)

Discrete, continuous, and hybrid petri nets
por: David, René, et al.
Publicado: (2004)

Transactions on aspect-oriented software development XII
por: Chiba, Shigeru, et al.
Publicado: (2015)

Coloured Petri nets
por: Jensen, Kurt
Publicado: (1992)

Coloured Petri nets
por: Jensen, Kurt, et al.
Publicado: (1995)

Coloured Petri nets
por: Jensen, K
Publicado: (1997)

Biological Petri Nets
por: Wingender, E
Publicado: (2011)

Coloured Petri nets
por: Jensen, Kurt
Publicado: (1996)

Supervision of petri nets
por: Stremersch, Geert, et al.
Publicado: (2001)

Petri net theory and the modeling of systems
por: Peterson, James Lyle
Publicado: (1981)

A Web Interface for Petri Nets with Transits and Petri Games
por: Gieseking, Manuel, et al.
Publicado: (2021)

Free choice Petri nets
por: Desel, Jörg, et al.
Publicado: (2005)

Dynamic Recursive Petri Nets
por: Haddad, Serge, et al.
Publicado: (2020)

Stochastic Petri nets: modelling, stability, simulation
por: Haas, Peter J
Publicado: (2002)

A CTL* Model Checker for Petri Nets
por: Amparore, Elvio Gilberto, et al.
Publicado: (2020)

From Petri Plates to Petri Nets, a revolution in yeast biology
por: Oliver, Stephen G
Publicado: (2022)

Transactions on edutainment XI
por: Pan, Zhigeng, et al.
Publicado: (2015)

Carl Adam petri
por: Reisig, Wolfgang, et al.
Publicado: (2019)

Discrete, Continuous, and Hybrid Petri Nets
por: David, Rene, et al.
Publicado: (2010)

Timed petri nets: theory and application
por: Ho, Yu-Chi, et al.
Publicado: (1998)

Application of Petri Nets in Bone Remodeling
por: Li, Lingxi, et al.
Publicado: (2009)

Yeast pheromone pathway modeling using Petri nets
por: Majumdar, Abhishek, et al.
Publicado: (2014)

Concurrency in .NET
por: Terrell, Riccardo
Publicado: (2018)

XII Max Born Symposium
por: Borowiec, Andrzej, et al.
Publicado: (2000)

Robust modelling and simulation: integration of SIMIO with coloured petri nets
por: De La Mota, Idalia Flores, et al.
Publicado: (2017)

Nonsequential processes: a Petri net view
por: Best, Eike, et al.
Publicado: (1988)

The Equivalency between Logic Petri Workflow Nets and Workflow Nets
por: Wang, Jing, et al.
Publicado: (2015)

MONALISA for stochastic simulations of Petri net models of biochemical systems
por: Balazki, Pavel, et al.
Publicado: (2015)

Modeling of the Glycolysis Pathway in Plasmodium falciparum using Petri Nets
por: Oyelade, Jelili, et al.
Publicado: (2016)

Petri Nets Validation of Markovian Models of Emergency Department Arrivals
por: Ballarini, Paolo, et al.
Publicado: (2020)

Graphlets in comparison of Petri net-based models of biological systems
por: Szawulak, Bartłomiej, et al.
Publicado: (2022)

Cannot write session to /tmp/vufind_sessions/sess_2s4r5eaup2mubpmqk88jeap9h9