Cargando…

Transactions on petri nets and other models of concurrency X

Detalles Bibliográficos
Autores principales:	Koutny, Maciej, Desel, Jörg, Haddad, Serge
Lenguaje:	eng
Publicado:	Springer 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757482

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 IX
por: Koutny, Maciej, et al.
Publicado: (2014)

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 XII
por: Koutny, Maciej, et al.
Publicado: (2017)

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

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

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

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)

Cycl[Formula: see text]n – A Tool for Determining Stop-Transitions of Petri Nets
por: Desel, Jörg, et al.
Publicado: (2020)

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

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

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

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)

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

Holistic View on the Structure of Immune Response: Petri Net Model
por: Scharf, Sonja, et al.
Publicado: (2023)

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)

Erratum to: MONALISA for stochastic simulations of Petri net models of biochemical systems
por: Balazki, Pavel, 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)

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)

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)

KReach: A Tool for Reachability in Petri Nets
por: Dixon, Alex, et al.
Publicado: (2020)

Cannot write session to /tmp/vufind_sessions/sess_rh8shgsbrhej59ns1ajt1gs2ar