Search results for "concurreny"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
40	Thom W. Frühwirth	Parallelism, Concurreny and Distribution in Constraint Handling Rules: A Survey (Draft).	CoRR	2017	DBLP BibTeX RDF
40	Monika Heiner, Annegret Katrin Wagler (eds.)	Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
40	Diana-Elena Gratie, Ion Petre	Full structural model refinement as type refinement of colored Petri nets.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
40	Mary Ann Blätke, Christian Rohr	A Colored Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
40	Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno	Dependent shrink for Petri net models of signaling pathways.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
40	Qi-Wei Ge, Ren Wu, Mitsuru Nakata	On Modeling internal organs and meridian system based on traditional Chinese medicine.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
40	Luis Miguel Torres, Annegret Katrin Wagler	The dynamics of deterministic systems - A survey.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
40	Paolo Baldan, Martina Bocci, Daniele Brigolin, Nicoletta Cocco, Marta Simeoni	Petri nets for modelling and analysing trophic networks.	BioPPN@Petri Nets	2015	DBLP BibTeX RDF
40	Monika Heiner (eds.)	Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), Tunis, Tunisia, June 23, 2014.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
40	Jure Bordon, Miha Moskon, Miha Mraz	Overcoming unknown kinetic data for quantitative modelling of biological systems using fuzzy logic and Petri nets.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
40	Cinzia Di Giusto, Hanna Klaudel, Franck Delaplace	Systemic approach for toxicity analysis.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
40	Rafael V. Carvalho, Jetty Kleijn, Fons J. Verbeek	A multi-scale extensive Petri net model of the bacterial-macrophage interaction.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
40	Mostafa Herajy, Fei Liu 0006, Christian Rohr	Coloured hybrid Petri nets for systems biology.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
40	Marco Beccuti	Mathematical models on cancer progression.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
40	Marie C. F. Favre, Wolfgang Marwan, Annegret Wagler	Integrating a priori knowledge in automatic network reconstruction.	BioPPN@Petri Nets	2014	DBLP BibTeX RDF
36	Sriram K. Rajamani, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani	ISOLATOR: dynamically ensuring isolation in comcurrent programs.	ASPLOS	2009	DBLP DOI BibTeX RDF	concurreny, isolation, memory protection